On Equational Theories, Unification, and Decidability

@inproceedings{pub2364,
    author = {

Bürckert, Hans-Jürgen
 and 

Herold, Alexander
 and 

Schmidt-Schauß, Manfred
},
    editor = {

Lescanne, Pierre
},
    title = {On Equational Theories, Unification, and Decidability},
    booktitle = {Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on Rewriting Techniques and Applications (RTA-2), 2nd, May 25-27, Bordeaux, France},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {1987},
    volume = {256},
    pages = {204--215},
    publisher = {Springer}
}