曼弗雷德·施密特·肖斯;大卫·萨贝尔;阿尼斯，阿尔图 多项式时间内压缩项的同余闭包。 （英文） 兹比尔1348.68085 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学讲义6989。人工智能课堂讲稿，227-242（2011）。MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Schmidt-Schauss}等人，Lect。注释计算。科学。6989、227--242（2011；Zbl 1348.68085） 全文： 内政部
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 （英文） Zbl 1192.68431号 J.塞姆。计算。 45，第2期，173-193（2010）.MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \文本{A.Gascón}等人，J.Symb。计算。45，第2号，173--193（2010；Zbl 1192.68431） 全文： 内政部 链接
约尔迪·利维;马图·维拉雷特 在二阶统一中简化签名。 （英文） Zbl 1196.68113号 申请。代数工程通讯。计算。 20，编号5-6，427-445（2009）. 审核人：马可·加博瓦迪（博洛尼亚） MSC公司：2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret}，应用。代数工程通讯。计算。20，编号5--6427--445（2009；Zbl 1196.68113） 全文： 内政部
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 与单例树语法的统一。 （英文） Zbl 1242.68132号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595365-379（2009）。MSC公司：2012年第68季度 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人，Lect。注释计算。科学。5595365-379（2009年；Zbl 1242.68132） 全文： 内政部
呃，凯特琳;约阿希姆·尼伦 分层上下文统一中的优势约束。 （英文） Zbl 1185.68386号 信息处理。莱特。 101，第4期，141-147（2007）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Erk}和\textit{J.Niehren}，Inf.过程。莱特。101，第4号，141--147（2007；Zbl 1185.68386） 全文： 内政部 链接