约翰·佩斯;杰拉尔德·彼得森。 使用强制来证明分辨率和副调制的完整性。 （英语） 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 1509.03047号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 381-395 (1990).MSC公司：03B35型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。449、381--395（1990年；Zbl 1509.03047） 全文： 内政部
蒂莫西·贝尔德。;杰拉尔德·彼得森。;拉尔夫·威尔克森。 模结合性、交换性和恒等式的全套约简。 （英语） 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） 全文： 内政部