Publikation

Some relationships between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert

Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.

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