Publication

Some relationships between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert

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

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