Lazy E-Unification - A Method to Delay Alternative Solutions

@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}
}