乌韦·沃尔德曼 将减少订单扩展到与ACU兼容的减少订单。 （英语） Zbl 1339.68243号 信息处理。莱特。 67，第1期，第43-49页（1998年）.MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Waldmann}，Inf.过程。莱特。67，第1号，43-49（1998年；Zbl 1339.68243） 全文： 内政部 链接
亚历山大·布代特;伊芙琳·孔特让;克劳德·马奇 AC完全统一及其在定理证明中的应用。 （英语） 兹比尔1503.68090 Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 18-32 (1996).MSC公司：2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}等人，Lect。注释计算。科学。1103、18-32（1996年；Zbl 1503.68090） 全文： 内政部
莱因哈德·邦根 关于锅、平底锅和布丁，或者如何发现通用的关键配对。 （英语） Zbl 1433.68539号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 693-707 (1994).MSC公司：68伏15 2012年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bündgen}，莱克特。注释计算。科学。814693-707（1994年；Zbl 1433.68539） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;扬·威廉·克鲁普 重写中存在更多问题。 （英语） Zbl 1508.68149号 克洛德·基什纳（编辑），《重写技术与应用》。1993年6月16日至18日，加拿大蒙特利尔，RTA-93第五届国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。690, 468-487 (1993).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。690468-487（1993年；Zbl 1508.68149） 全文： 内政部
Jean-Pierre Jouannaud;克劳德·马奇 终止和完成模结合性、交换性和同一性。 （英语） Zbl 0759.68047号 西奥。计算。科学。 104，第1期，第29-51页（1992年）. 审核人：J.Avenhaus（凯泽斯劳滕） MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{C.Marché}，Theor。计算。科学。104，编号1，29--51（1992；Zbl 0759.68047） 全文： 内政部
纳鸿·德肖维茨;Jean-Pierre Jouannaud;简·威廉·克洛普 重写中的开放问题。 （英语） Zbl 1503.68100号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 445-456 (1991).MSC公司：2012年第68季度 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人，Lect。注释计算。科学。488445--456（1991年；Zbl 1503.68100） 全文： 内政部
埃里克·多曼纽德 通过订单排序的AC1统一实现AC统一。 （英语） Zbl 1503.68102号 罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。488, 98-111 (1991).MSC公司：2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{E.Domenjoud}，莱克特。注释计算。科学。488、98——111（1991年；Zbl 1503.68102） 全文： 内政部
杰拉尔德·彼得森。 具有约束的整套缩减。 （英语） 兹比尔1509.03047 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 381-395 (1990).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Peterson}，莱克特。注释计算。科学。449、381--395（1990年；Zbl 1509.03047） 全文： 内政部