Alexander Herold Jörg H. Siekmann Unification in Abelian Semigroups. 247-283 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#HeroldS87