Lazy E-Unification - A Method to Delay Alternative Solution (Extended Abstract)

@techreport{pub2540,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Lazy E-Unification - A Method to  Delay Alternative Solution (Extended Abstract)},
    series = {SEKI Working Papers},
    year = {1987},
    volume = {SWP-87-07},
    institution = {Universität Kaiserslautern}
}