Publication

Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

Hans-Jürgen Bürckert

In: Claus-Rainer Rollinger, Werner Horn (editor). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische Artificial-Intelligence-Tagung. German Workshop on Artifical Intelligence (GWAI-86) September 22-26 Ottenstein Austria Pages 277-288 Informatik-Fachberichte 124 Springer 1986.

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