Unification in abelian semigroups (1987)

by A Herold, J H Siekmann
Venue:Foundations of Equational Logic Programming