Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.
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}
}
