@techreport{pub5995,
author = {
Baader, Franz
and
Nutt, Werner
},
title = {Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification},
series = {DFKI Research Reports (RR)},
year = {1990},
volume = {90-16},
pages = {25},
institution = {DFKI}
}