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.
@inproceedings{BaaderN91,
title = {Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification},
author = {Franz Baader and Werner Nutt},
year = {1991},
tags = { algebra},
researchr = {https://researchr.org/publication/BaaderN91},
cites = {0},
citedby = {0},
pages = {124-135},
booktitle = {Rewriting Techniques and Applications},
editor = {Ronald V. Book},
volume = {488},
series = {Lecture Notes in Computer Science},
address = {Como, Italy},
publisher = {Springer},
isbn = {3-540-53904-2},
}