Publikation

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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence