哇，拉里;Gail W.Pieper。 计算机世界中一个迷人的国家。您的自动推理指南。带CD-ROM。 （英语） Zbl 1132.68300号 新泽西州哈肯萨克：世界科学（ISBN 981-02-3910-6/hbk；978-981-281-795-2/电子书）。第xx页，第587页。(1999).MSC公司：68-01年 68T01型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}和\textit{G.W.Pieper}，计算机世界中一个迷人的国家。您的自动推理指南。带CD-ROM。新泽西州哈肯萨克：世界科学（1999；Zbl 1132.68300） 全文： 内政部
威廉·麦库恩;帕德马纳班，R。 方程式逻辑和三次曲线的自动推导。 （英语） Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林：Springer-Verlag。ix，第231页，54.00德国马克；öS 394.20；法语。48.00 (1996).MSC公司：03B35型 68吨15 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan}，等式逻辑和三次曲线的自动演绎。柏林：Springer-Verlag（1996；Zbl 0921.03011） 全文： 内政部