@Article{SB10,
    Author       = "Sutcliffe, G. and Benzm{\"u}ller, C.",
    Year         = "2010",
    Title        = "{Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure}",
    Journal      = "Journal of Formalized Reasoning",
    Volume       = "3",
    Number       = "1",
    Pages        = "1-27",
    Comment      = "TPTPData,TPTPCite"
}