杰拉尔德·彼得森。;Stickel，Mark E。 一些等式理论的全套约简。 （英语） Zbl 0479.68092号 J.协会计算。机器。 28, 233-264 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于6评论引用于131文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2004年8月 与一般代数系统有关的问题的软件、源代码等 关键词：完全统一算法;唯一终止属性;有限终止性质;有充分根据的偏序;布尔代数;Knuth-Bendix算法求全约简集的推广;有限个结合函数和交换函数的理论;自由交换群;带单位的交换环;分配格 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Peterson}和\textit{M.E.Stickel}，J.协会计算。机器。28233--264（1981年；Zbl 0479.68092） 全文： 内政部