Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß. On Equational Theories, Unification, and (Un)Decidability. Journal of Symbolic Computation, 8(1/2):3-49, 1989.
@article{BurckertHS89,
title = {On Equational Theories, Unification, and (Un)Decidability},
author = {Hans-Jürgen Bürckert and Alexander Herold and Manfred Schmidt-Schauß},
year = {1989},
researchr = {https://researchr.org/publication/BurckertHS89},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {8},
number = {1/2},
pages = {3-49},
}