Publication
Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986.
@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} }
© DFKI, 2023