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