Sutcliffe, Geoff; Benzmüller, Christoph Automated reasoning in higher-order logic using the TPTP THF infrastructure. (English) Zbl 1211.68371 J. Formaliz. Reason. 3, No. 1, 1-27 (2010). MSC: 68T15 03B15 PDFBibTeX XMLCite \textit{G. Sutcliffe} and \textit{C. Benzmüller}, J. Formaliz. Reason. 3, No. 1, 1--27 (2010; Zbl 1211.68371) Full Text: Link
Sutcliffe, Geoff The CADE-22 automated theorem proving system competition – CASC-22. (English) Zbl 1200.68220 AI Commun. 23, No. 1, 47-59 (2010). MSC: 68T15 PDFBibTeX XMLCite \textit{G. Sutcliffe}, AI Commun. 23, No. 1, 47--59 (2010; Zbl 1200.68220) Full Text: DOI