克里斯托夫·韦登巴赫;伯恩德·盖德;乔治·洛克 SPASS&FLOTTER 0.42版。 （英语） Zbl 1412.68267号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1104, 141-145 (1996).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Weidenbach}等人，Lect。注释计算。科学。1104，141--145（1996；Zbl 1412.68267） 全文： 内政部
克里斯托夫·韦登巴赫 排序理论的统一及其应用。 （英语） Zbl 0887.03006号 安。数学。Artif公司。智力。 18，编号2-4，261-293（1996）.MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Weidenbach}，Ann.数学。Artif公司。智力。18，编号2--4，261--293（1996；Zbl 0887.03006） 全文： 内政部
安东尼·科恩（Anthony G.Cohn）。 正在完成排序层次结构。 （英语） Zbl 0794.68138号 计算。数学。应用。 23，编号6-9，477-491（1992）.MSC公司：68吨15 68T27型 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Cohn}，计算。数学。申请。23，编号6--9，477--491（1992；Zbl 0794.68138） 全文： 内政部
理查德·施密德;汉斯·阿尔伯特·施耐德;托马斯·菲尔科恩 使用扩展PROLOG解决狮子和独角兽难题。 （英语） Zbl 0677.68099号 J.汽车。推理 5，第3期，403-408（1989）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{R.Schmid}等人，J.Autom。推理5，No.3，403--408（1989；Zbl 0677.68099） 全文： 内政部