Publication Some relationships between Unification, Restricted Unification, and Matching Hans-Jürgen Bürckert Universität Kaiserslautern, SEKI Report, Vol. SR-86-07, 1986. BibTeX Export 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} }