Publication

Matching - A Special Case of Unification?

Hans-Jürgen Bürckert

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

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