Publikation

On Equational Theories, Unification, and (Un)decidability

Hans-Jürgen Bürckert, A. Herold, M. Schmidt-Schauß

In: Journal of Symbolic Computation 8, Special Issue on Unification Seiten 3-49 Elsevier 1989.

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