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.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz