Some relationships between Unification, Restricted Unification, and Matching

@techreport{pub2541,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Some relationships between Unification, Restricted Unification, and Matching},
    series = {SEKI Report},
    year = {1986},
    volume = {SR-86-07},
    institution = {Universität Kaiserslautern}
}