奥尔特伦·伊本斯;莱茨，莱因霍尔德 模型消除中的子目标交替。 （英语） Zbl 1412.68237号 Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。勒克特。票据计算。科学。1227, 201-215 (1997).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Ibens}和\textit{R.Letz}，莱克特。票据计算。科学。1227201--215（1997；Zbl 1412.68237） 全文： 内政部
莱茨，R。;K·迈尔。;哥勒，C。 将切割规则控制集成到连接表计算中。 （英语） Zbl 0816.03005号 J.汽车。推理 13，第3号，297-337（1994）. 审核人：G.Mints（斯坦福） MSC公司：03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Letz}等人，J.Autom。推理13，No.3，297--337（1994；Zbl 0816.03005） 全文： 内政部