@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"
}

@Booklet{Sut08-CASC-J4,
    Author       = "Sutcliffe, G.",
    Year         = "2008",
    Title        = "{Proceedings of the 4th IJCAR ATP System Competition}",
    Address      = "Sydney, Australia",
    Comment      = "TPTPCite"
}

@Article{Sut08-CASC,
    Author       = "Sutcliffe, G.",
    Year         = "2008",
    Title        = "{The CADE-21 Automated Theorem Proving System Competition}",
    Journal      = "AI Communications",
    Volume       = "21",
    Number       = "1",
    Pages        = "71-82",
    Comment      = "TPTPData,TPTPCite"
}