Publikation

Some relationships between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert

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

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