@InProceedings{Wan65,
    Author       = "Wang, H.",
    Year         = "1965",
    Title        = "{Formalization and Automatic Theorem-Proving}",
    Editor       = "Kalenich W.A.",
    BookTitle    = "{Proceedings of the IFIP Congress}",
    Place        = "NEED",
    Pages        = "51-58",
    Publisher    = "Spartan Books",
    Comment      = "TPTPRef"
}