@InProceedings{PS07,
    Author       = "Paulson, L. and Susanto, K.",
    Year         = "2007",
    Title        = "{Source-level Proof Reconstruction for Interactive Theorem
                    Proving}",
    Editor       = "Schneider, K. and Brandt, J.",
    BookTitle    = "{Proceedings of the 20th International Conference on
                    Theorem Proving in Higher Order Logics}",
    Place        = "Kaiserslautern, Germany",
    Series       = "Lecture Notes in Computer Science",
    Number       = "4732",
    Pages        = "232-245",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPCite"
}

@InProceedings{PS07-ESARLT,
    Author       = "Pease, A. and Sutcliffe, G.",
    Year         = "2007",
    Title        = "{First Order Reasoning on a Large Ontology}",
    Editor       = "Urban, J. and Sutcliffe, G. and Schulz, S.",
    BookTitle    = "{Proceedings of the CADE-21 Workshop on Empirically
                    Successful Automated Reasoning in Large Theories}",
    Place        = "Bremen, German",
    Series       = "CEUR Workshop Proceedings",
    Number       = "257",
    Pages        = "61-70",
    Comment      = "TPTPRef"
}