On Equational Theories, Unification, and (Un)decidability

@article{pub1840,
    author = {

Bürckert, Hans-Jürgen
 and 

Herold, A.
 and 

Schmidt-Schauß, M.
},
    title = {On Equational Theories, Unification, and (Un)decidability},
    year = {1989},
    volume = {8, Special Issue on Unification},
    pages = {3--49},
    journal = {Journal of Symbolic Computation},
    publisher = {Elsevier}
}