弗里德里希·奥托;巴利亚特·纳伦德兰;丹尼尔·多尔蒂（Daniel J.Dougherty）。 等式统一、单词统一和二阶等式统一。 （英语） Zbl 0902.68093号 西奥。计算。科学。 198，第1-2、1-47号（1998年）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}等人，Theor。计算。科学。198，编号1--2，1-47（1998；Zbl 0902.68093） 全文： 内政部
弗里德里希·奥托;巴利亚特·纳伦德兰;丹尼尔·多尔蒂（Daniel J.Dougherty）。 方程统一的一些独立性结果。 （英语） Zbl 1503.68146号 项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。914, 367-381 (1995).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛F.Otto｝等人，Lect。注释计算。科学。914367-381（1995年；兹bl 1503.68146） 全文： 内政部