卡雷尔·斯托克曼 分类关键路径完成算法。 （英语） Zbl 0933.18002号 J.塞姆。计算。 27，第5期，435-477（1999）. 审核人：C.Calude（奥克兰） MSC公司：18A99型 68瓦30 2012年第68季度 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{K.Stokkermans}，J.Symb。计算。27，第5号，435--477（1999；Zbl 0933.18002） 全文： 内政部 链接
利奥·巴赫迈尔;哈拉尔德·甘辛格 Buchberger算法：基于约束的完成过程。 （英语） Zbl 1495.68249号 Jouannaud，Jean-Pierre（编辑），计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。845, 285-301 (1994).MSC公司：68瓦30 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{H.Ganzinger}，莱克特。注释计算。科学。845285--301（1994年；Zbl 1495.68249） 全文： 内政部
莱因哈德·邦根 Buchberger算法：术语重写器的观点（扩展抽象）。 （英语） Zbl 1427.68373号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 380-391 (1992).MSC公司：68瓦30 第13页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bündgen}，莱克特。注释计算。科学。623380-391（1992年；Zbl 1427.68373） 全文： 内政部
阿卜杜利拉·坎德里·罗迪;迪帕克·卡普尔 计算欧氏域上多项式理想的Gröbner基。 （英语） Zbl 0658.13016号 J.塞姆。计算。 6，第1号，37-57（1988）. 审核人：R.M.迪米特里奇 MSC公司：13层20 13甲15 13-04 68瓦30 13层07 PDF格式BibTeX公司 XML格式引用 \textit{A.Kandri-Rody}和\textit{D.Kapur}，J.Symb。计算。6，编号1，37-57（1988；Zbl 0658.13016） 全文： 内政部