Skip to main content Skip to main navigation

Publication

Lazy E-Unification - A Method to Delay Alternative Solutions

Hans-Jürgen Bürckert
Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.