TPTP Reference: Sha97


@Book{Sha97,
    Author       = "Shanahan, M.",
    Year         = "1997",
    Title        = "{Solving the Frame Problem}",
    Publisher    = "MIT Press",
    Comment      = "TPTPRef"
}