Publikation

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

Hans-Jürgen Bürckert

In: Claus-Rainer Rollinger, Werner Horn (Hrsg.). 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 Seiten 277-288 Informatik-Fachberichte 124 Springer 1986.

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