玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 再次讨论狭窄的终止。 （英语） Zbl 1187.68271号 西奥。计算。科学。 410，第46号，4608-4625（2009）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人，Theor。计算。科学。410，第46号，4608--4625（2009；Zbl 1187.68271） 全文： 内政部
延斯·奥滕;克里斯托夫·克里茨 T字符串统一：在非经典证明方法中统一前缀。 （英语） Zbl 1412.68251号 Migliolo，P.（编辑）等人，用解析表和相关方法证明定理。第五届国际研讨会，1996年5月15日至17日，意大利巴勒莫Terrasini，TABLEAUX’96。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第1071244-260页（1996年）。MSC公司：68吨15 03B20型 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Otten}和\textit{C.Kreitz}，莱克特。注释计算。科学。1071244--260（1996年；Zbl 1412.68251） 全文： 内政部
亚历山大·布代特 争夺（AC）统一竞赛。 （英语） Zbl 0802.68137号 J.汽车。推理 11，第2期，185-212（1993）.MSC公司：68吨15 2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}，J.Autom（美国汽车制造商协会）。推理11，No.2，185--212（1993；Zbl 0802.68137） 全文： 内政部
亚历山大·布代特 方程理论组合中的统一：一种有效的算法。 （英语） Zbl 1509.68115号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 292-307 (1990).MSC公司：2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}，莱克特。注释计算。科学。449、292--307（1990年；Zbl 1509.68115） 全文： 内政部
汉斯·尤根·伯克特 匹配-统一的特殊情况？ （英语） Zbl 0691.03004号 J.塞姆。计算。 8，第5期，523-536（1989）. 审核人：N.扎莫夫 MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{H.-J.Bürckert}，J.Symb。计算。第8号，第52523-536页（1989年；Zbl 0691.03004） 全文： 内政部
曼弗雷德·施密特·沙乌 任意不相交等式理论的组合中的统一。 （英语） Zbl 0691.03003号 J.塞姆。计算。 8，编号1-2，51-99（1989）. 审核人：C.马萨拉吉 MSC公司：03B35型 03C05号机组 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，J.Symb。计算。8，编号1--2，51-99（1989；Zbl 0691.03003） 全文： 内政部
亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 布尔环和阿贝尔群的统一。 （英语） Zbl 0689.68040号 J.塞姆。计算。 8，第5号，449-477（1989）.MSC公司：68瓦30 06E20型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}等人，J.Symb。计算。8，第5号，449--477（1989；Zbl 0689.68040） 全文： 内政部
汉斯·尤根·伯克特;亚历山大·赫罗德;曼弗雷德·施密特·肖斯 关于方程理论、统一性和（不）可判定性。 （英语） Zbl 0684.03004号 J.塞姆。计算。 8，编号1-2，3-49（1989）. 审核人：H.-J.Bürckert先生 MSC公司：03B35型 03C05号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Bürckert}等人，J.Symb。计算。8，编号1--2，3--49（1989；Zbl 0684.03004） 全文： 内政部
乌苏拉·马丁;托比亚斯·尼普科 布尔统一-到目前为止的故事。 （英语） Zbl 0682.68093号 J.塞姆。计算。 7，编号3-4，275-293（1989）.MSC公司：68吨15 68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{U.Martin}和\textit{T.Nipkow}，J.Symb。计算。7，编号3--4，275--293（1989；Zbl 0682.68093） 全文： 内政部
马丁·厄休拉 多集合排序的几何方法。 （英语） Zbl 0672.06004号 西奥。计算。科学。 67，第1期，37-54（1989）.MSC公司：06A99号 PDF格式BibTeX公司 XML格式引用 \发短信{U.Martin}，Theor。计算。科学。67，编号1，37--54（1989；Zbl 0672.06004） 全文： 内政部