Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification (1991)

by F Baader, W Nutt
Venue:In: Proceedings of the 4th International Conference on RewritingTechniques and Applications, RTA 91, Lecture Notes in Computer Science 488, 124--135