吉多·菲奥里诺 命题Dummett逻辑的(O(n\log n))-SPACE决策过程。 (英语) Zbl 0987.03011号 J.汽车。推理 27,第3号,297-311(2001).MSC公司:03B35型 03B25号 03B55型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.菲奥里诺},J.Autom。推理27,No.3,297--311(2001;Zbl 0987.03011) 全文: 内政部
博纳蒂,P.A。 怀疑稳定模型语义的解决方案。 (英语) Zbl 0991.03016号 J.汽车。推理 27,第4号,391-421(2001).MSC公司:03B35型 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bonatti},J.Autom。推理27,No.4,391--421(2001;Zbl 0991.03016) 全文: 内政部
尤尔根阿文豪斯;David A.Plaisted。 等式推理中置换的通用算法。 (英语) Zbl 0985.68026号 J.汽车。推理 26,第3期,223-268(2001). 审核人:N.Zamov(喀山) MSC公司:2012年第68季度 03B35型 20B40码 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Avenhaus}和\textit{D.A.Plaisted},J.Autom。推理26,No.3,223--268(2001;Zbl 0985.68026) 全文: 内政部