Unification in free extensions of Boolean rings and Abelian groups | IEEE Conference Publication | IEEE Xplore