卢斯克,尤因·L。;威廉·麦库恩。 统一策略:CADE-11定理证明竞赛。 (英语) Zbl 0802.68131号 J.汽车。推理 11,第3期,317-331(1993).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lusk}和\textit{W.W.McCune},J.Autom。推理11,No.3,317--331(1993;Zbl 0802.68131) 全文: 内政部
罗伯特·博伊尔;卢斯克,尤因;威廉·麦库恩;罗斯·奥弗贝克;Stickel,Mark E。;沃斯,劳伦斯 一阶逻辑中的集合论:哥德尔公理的子句。 (英语) Zbl 0635.03008号 J.汽车。推理 2, 287-327 (1986).MSC公司:03B35型 1999年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boyer}等人,J.Autom。推理2287-327(1986年;Zbl 0635.03008) 全文: 内政部
勒斯克,E.L。;奥弗贝克,R.A。 问题角落:关于平等的推理。 (英语) Zbl 0615.68065号 J.汽车。推理 1, 209-228 (1985).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lusk}和\textit{R.A.Overbeek},J.Autom。推理1209--228(1985;Zbl 0615.68065)
卢斯克,尤因;罗斯·奥弗贝克 问题角落:非天生的问题。 (英语) Zbl 0614.68069号 J.汽车。推理 1, 103-114 (1985).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lusk}和\textit{R.Overbeek},J.Autom。推理1,103--114(1985;Zbl 0614.68069)