Edward P.jun,斯塔勒。 解析为非Horn演绎。 (英语) Zbl 0809.68080号 Artif公司。智力。 63,编号1-2,225-264(1993). 审核人:A.Biela(卡托维兹) MSC公司:68N20型 68N17号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Stabler jun.},阿蒂夫。智力。63,编号1--2225-264(1993;Zbl 0809.68080) 全文: 内政部
Stickel,Mark E。 自然语言解释中计算最小成本诱因解释的类Prolog推理系统。 (英语) Zbl 1004.68552号 安。数学。Artif公司。智力。 4,编号1-289-106(1991).MSC公司:68T50型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Stickel},Ann.数学。Artif公司。智力。4,编号1--2,89-106(1991;Zbl 1004.68552) 全文: 内政部