Semi-unification of two terms in Abelian groups (1994)

by M Rittri
Venue:Info. Proc. Letters 52(2):61--68, 1994, with corrigendum, 53(4):235