Publikation

Matching - A Special Case of Unification?

Hans-Jürgen Bürckert

Universität Kaiserslautern SEKI Reports SR-87-08 1987.

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