Publikation

Lazy E-Unification - A Method to Delay Alternative Solutions

Hans-Jürgen Bürckert

Université de Nancy Rapport Interne 87 R 34 1987.

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