@incollection{pub2377,
author = {
Bürckert, Hans-Jürgen
and
Herold, Alexander
and
Schmidt-Schauß, Manfred
},
editor = {
Kirchner, Claude
},
title = {On Equational Theories, Unification, and (Un)decidability},
booktitle = {Unification},
year = {1990},
pages = {69--119},
publisher = {Academic Press},
note = {Reprint}
}