On Equational Theories, Unification, and (Un)decidability
Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.
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}
}