杰拉尔德·彼得森。 具有约束的整套缩减。 (英语) 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) 全文: 内政部
杰拉尔德·彼得森。 建立完备性的一种技术可以得到等式定理证明。 (英语) Zbl 0522.68087号 SIAM J.计算。 12, 82-100 (1983).MSC公司:68吨15 03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{G.E.Peterson},SIAM J.Comput。12、82--100(1983年;Zbl 0522.68087) 全文: 内政部 链接