Search: Automated Reasoning In Higher-Order Logic Using
2010
[1]Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure (Geoff Sutcliffe, Christoph Benzmüller), In Journal of Formalized Reasoning, volume 3, number 1, pp. 1-27, 2010. (Preprint: http://christoph-benzmueller.de/papers/J22.pdf) [bibtex]