恩里科Giunchilia;阿曼多·塔切拉;福斯托·金奇利亚 基于SAT的经典模态逻辑决策程序。 (英语) Zbl 1003.03011号 J.汽车。推理 第2143-171号第28页(2002年).MSC公司:03B35型 03B45号 03B25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,J.Autom。推理28,第2143-171号(2002年;Zbl 1003.03011) 全文: 内政部
金奇利亚,F。;佩奇亚里,P。;塔尔科特,C。 推理理论。面向开放式机械化推理系统的体系结构。 (英语) Zbl 0985.68059号 J.汽车。推理 26,第3期,291-331(2001). 审核人:N.Zamov(喀山) MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}等人,J.Autom。推理26,No.3,291--331(2001;Zbl 0985.68059) 全文: 内政部
阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 抽象证明检查:由不完全性定理驱动的示例。 (英语) Zbl 0890.03004号 J.汽车。推理 19,第3期,319-346(1997). 审核人:M.P.博纳西纳(爱荷华州市) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,J.Autom。推理19,No.3,319--346(1997;Zbl 0890.03004) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 不一致的抽象空间的必然性。 (英语) Zbl 0784.68075号 J.汽车。推理 11,第1期,23-41(1993).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh},J.Autom。推理11,No.1,23--41(1993;Zbl 0784.68075) 全文: 内政部