Unification in Free Extensions of Boolean Rings and Abelian Groups

Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß Unification in Free Extensions of Boolean Rings and Abelian Groups 121-130 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#BoudetJS88