TPTP Reference: Sim86


@InProceedings{Sim86,
    Author       = "Simmons, R.",
    Year         = "1986",
    Title        = "{Commonsense Arithmetic Reasoning}",
    Editor       = "Stickel, M.E.",
    BookTitle    = "{Proceedings of the 5th National Conference on Artificial
                    Intelligence}",
    Place        = "Philadelphia, USA",
    Pages        = "118-124",
    Publisher    = "AAAI Press",
    Comment      = ""
}