约翰·佩斯;杰拉尔德·彼得森。 使用强制来证明分辨率和副调制的完整性。 （英语） Zbl 0723.68093号 J.塞姆。计算。 11，编号1-2，3-19（1991）.MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pais}和\textit{G.E.Peterson}，J.Symb。计算。11，编号1--2，3--19（1991；Zbl 0723.68093） 全文： 内政部
蒂莫西·贝尔德。;杰拉尔德·彼得森。;拉尔夫·威尔克森。 模结合性、交换性和恒等式的全套约简。 （英语） Zbl 1503.68286号 Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 29-44 (1989).MSC公司：68伏15 03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.B.Baird}等人，Lect。注释计算。科学。355、29-44（1989年；Zbl 1503.68286） 全文： 内政部
杰拉尔德·彼得森。;Stickel，Mark E。 一些等式理论的全套约简。 （英语） Zbl 0479.68092号 J.协会计算。机器。 28, 233-264 (1981).MSC公司：68吨15 08-04 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Peterson}和\textit{M.E.Stickel}，J.协会计算。机器。28233--264（1981年；Zbl 0479.68092） 全文： 内政部