阿尔特·米德尔多普 条件构造函数系统组合的完整性。 (英语) Zbl 0942.68592号 J.塞姆。计算。 17,第1期,3-21(1994). 引用于三文件 MSC公司: 第68季度第42季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Middeldorp},J.Symb。计算。17,第1号,第3--21号(1994;Zbl 0942.68592) 全文: 内政部