彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 自底向上模型生成方法的阻塞和其他增强。 （英语） Zbl 1468.68279号 J.汽车。推理 64，第2期，197-251（2020年）.MSC公司：68伏15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{R.A.Schmidt}，J.Autom。推理64，No.2，197--251（2020；Zbl 1468.68279） 全文： 内政部 OA许可证
彼得·鲍姆加特纳;富克斯，亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 通过简化为无函数子句逻辑计算有限模型。 （英语） Zbl 1171.68040号 J.应用。日志。 7，第1期，58-74（2009）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人，J.Appl。日志。7，第1号，58-74（2009年；兹bl 1171.68040） 全文： 内政部
Chandrabose阿拉文丹 析取逻辑程序设计中否定的溯源框架。 （英语） Zbl 1427.68040号 Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 252-267 (1996).MSC公司：第68页第17页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Aravindan}，莱克特。注释计算。科学。1126252-267（1996年；Zbl 1427.68040） 全文： 内政部