Publikation
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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023