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.
No references recorded for this publication.
No citations of this publication recorded.