泽维尔·勒罗伊 经过正式验证的编译器后端。 (英语) 兹比尔1185.68215 J.汽车。推理 43,第4期,第363-446页(2009年).MSC公司:68N20型 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{X.Leroy},J.Autom。推理43,No.4,363--446(2009;Zbl 1185.68215) 全文: 内政部 arXiv公司
杰夫·萨特克利夫 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) 全文: 内政部