罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 关于定理证明索引技术的评价。 （英语） Zbl 0988.68595号 Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2083, 257-271 (2001). 有关整个系列，请参见[Zbl 0968.00052号]. 引用于8文件 MSC公司： 第68页第15页 定理证明（演绎、解析等）（MSC2010） 软件：TPTP公司;水獭;VAMPIRE公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Nieuwenhuis}等人，Lect。注释计算。科学。2083，257--271（2001；Zbl 0988.68595） 全文： 链接