@InProceedings{Sut08-KEAPPA,
    Author       = "Sutcliffe, G.",
    Year         = "2008",
    Title        = "{The SZS Ontologies for Automated Reasoning Software}",
    Editor       = "Sutcliffe, G. and Rudnicki, P. and Schmidt, R. and Konev, B. and Schulz, S.",
    BookTitle    = "{Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and
                    Proof Assistants, and the 7th International Workshop on the Implementation of
                    Logics}",
    Place        = "Doha, Qatar",
    Series       = "CEUR Workshop Proceedings",
    Number       = "418",
    Pages        = "38-49",
    Comment      = "TPTPRef"
}