Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß Unification in Boolean Rings and Abelian Groups. 449-477 1989 8 J. Symb. Comput. 5 db/journals/jsc/jsc8.html#BoudetJS89