Skip to main content Skip to main navigation

Publikation

Some relationships between Unification, Restricted Unification, and Matching

Hans-Jürgen Bürckert
Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.