@workingPaper{BaaderNutt_1990,
title={Adding homomorphisms to commutative/monoidal theories or : how algebra can help in equational unification},
author={Baader, Franz and Nutt, Werner},
doi={http://dx.doi.org/10.22028/D291-24814},
year={1990}
}