Publication

Some relationships between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert

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

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