弗朗索瓦·布里;桑娜·托尔格 一种完全用于反驳和有限可满足性的演绎方法。 （英语） Zbl 0928.03031号 Dix，Jürgen（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’98。1998年10月12日至15日，德国达格斯图尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1489, 122-138 (1998).MSC公司：03B70号 68T27型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bry}和\textit{S.Torge}，莱克特。注释计算。科学。1489、122--138（1998年；Zbl 0928.03031）
尼古拉斯·佩尔蒂埃 利用失效和对称性自动建立有限模型的新方法。 （英语） Zbl 0904.68155号 J.日志。计算。 8，第4期，511-543（1998）.MSC公司：第68页第15页 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.佩尔蒂埃}，J.洛格。计算。8，第4号，511--543（1998；Zbl 0904.68155） 全文： 内政部 链接
马克·德内克;De Schreye，丹尼 SLDNFA：诱拐逻辑程序的诱拐过程。 （英语） Zbl 0905.68025号 J.日志。程序。 34，第2期，111-167（1998）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Denecker}和\textit{D.De Schreye}，J.Log。程序。34，编号2，111--167（1998；Zbl 0905.68025） 全文： 内政部