阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什 抽象证明检查:由不完全性定理驱动的示例。 (英语) Zbl 0890.03004号 J.自动化。推理 19,第3期,319-346(1997). 审核人:M.P.博纳西纳(爱荷华州市) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,J.Autom。推理19,第319-346号(1997;Zbl 0890.003004) 全文: 内政部
福斯托·金奇利亚;托比·沃尔什 不一致的抽象空间的必然性。 (英语) Zbl 0784.68075号 J.自动化。推理 11,第1期,23-41(1993).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh},J.奥托姆。推理11,No.1,23--41(1993;Zbl 0784.68075) 全文: 内政部