Matching - A Special Case of Unification?

@techreport{pub2539,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Matching - A Special Case of Unification?},
    series = {SEKI Reports},
    year = {1987},
    volume = {SR-87-08},
    institution = {Universität Kaiserslautern}
}