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