杰夫·萨特克利夫 TPTP问题库和相关基础设施。从CNF到TH0，TPTP v6.4.0。 （英语） Zbl 1425.68381号 J.自动化。推理 59，第4期，483-502（2017）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}，J.Autom。推理59，No.4，483--502（2017；Zbl 1425.68381） 全文： DOI程序
塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔 系统描述：E.T.0.1。 （英语） Zbl 1465.68286号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 389-398 (2015).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9195，389--398（2015；Zbl 1465.68286） 全文： DOI程序
杰夫·萨特克利夫 TPTP问题库和相关基础设施以及相关基础设施。FOF和CNF部件，v3.5.0。 （英语） Zbl 1185.68636号 J.自动化。推理 43，第4期，337-362（2009）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe}，J.Autom。推理43，No.4，337--362（2009；Zbl 1185.68636） 全文： DOI程序