Publication
Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.
@techreport{pub2392, author = { Bürckert, Hans-Jürgen }, title = {Lazy E-Unification - A Method to Delay Alternative Solutions}, series = {Rapport Interne}, year = {1987}, volume = {87 R 34}, institution = {Université de Nancy} }
© DFKI, 2023