Sutcliffe, Geoff, and Christoph Benzmueller. “Automated Reasoning in Higher-Order Logic Using the TPTP THF Infrastructure”. Journal of Formalized Reasoning 3, no. 1 (January 1, 2010): 1–27. Accessed February 8, 2023. https://jfr.unibo.it/article/view/1710.