Franz Baader, Werner Nutt. Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 124-135, Springer, Como, Italy, 1991.