Publication

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

Hans-Jürgen Bürckert

Universität Kaiserslautern SEKI Working Papers SWP-87-07 1987.

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