Unification in Free Extensions of Boolean Rings and Abelian Groups

Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schau

Browse the full LICS paper archive.