Sutcliffe, G. and Benzmueller, C. 2010. Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. Journal of Formalized Reasoning. 3, 1 (Jan. 2010), 1–27. DOI:https://doi.org/10.6092/issn.1972-5787/1710.