詹姆斯·J·卢。;莫妮卡·D·巴巴克。;劳伦斯·亨森。 基于强烈的析取感来解释析取逻辑程序。 (英语) Zbl 0788.68024号 J.汽车。推理 10,第3期,345-370(1993).MSC公司:68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Lu}等人,J.Autom。推理10,No.3,345--370(1993;Zbl 0788.68024) 全文: 内政部
亚德南·叶海亚;劳伦斯·亨森。 勘误表,“非Horn数据库中的扣除”。 (英语) Zbl 0647.68112号 J.汽车。推理 4,第1号,109-110(1988).MSC公司:68第20页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Yahya}和\textit{L.J.Henschen},J.Autom。推理4,No.1,109--110(1988;Zbl 0647.68112)
威廉·麦库恩;劳伦斯·亨森 语义副调制实验。 (英语) Zbl 0615.68064号 J.汽车。推理 1, 231-261 (1985).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{L.Henschen},J.奥托姆。推理1231--261(1985;Zbl 0615.68064) 全文: 内政部
亚德南·叶海亚;劳伦斯·亨森。 非Horn数据库中的扣除。 (英语) Zbl 0614.68072号 J.汽车。推理 1, 141-160 (1985).MSC公司:68第20页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Yahya}和\textit{L.J.Henschen},J.Autom。推理1141-160(1985年;兹bl 0614.68072) 全文: 内政部
沃斯,L。;费尔南多·佩雷拉;罗伯特·洪;罗伯特·博伊尔。;J.Strother摩尔;布莱索,W.W。;亨森·L·J·。;布鲁斯·布坎南。;格雷厄姆·怀特森;科德尔·格林 自动推理和相关领域概述。 (英语) Zbl 0614.68068号 J.汽车。推理 1, 5-48 (1985).MSC公司:68吨15 68-01 68T20型 60年第68季度 68-02 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}等人,J.Autom。推理1,5--48(1985;Zbl 0614.68068)