Martin, U.; Nipkow, T. (1986). "Unification in Boolean Rings". Dalam Jörg H. Siekmann (ed.). Proc. 8th CADE. LNCS. Vol. 230. Springer. hlm. 506–513. doi:10.1007/3-540-16780-3_115. ISBN978-3-540-16780-8.
Kandri-Rody, Abdelilah; Kapur, Deepak; Narendran, Paliath (1985). "Pendekatan teori-ideal untuk masalah kata dan masalah penyatuan atas aljabar komutatif kesajian-hingga". Rewriting Techniques and Applications. Lecture Notes in Computer Science. Vol. 202. hlm. 345–364. doi:10.1007/3-540-15976-2_17. ISBN978-3-540-15976-6.