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

@inproceedings{pub2363,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Rollinger, Claus-Rainer
 and 

Horn, Werner
},
    title = {Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine},
    booktitle = {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},
    series = {Informatik-Fachberichte},
    year = {1986},
    volume = {124},
    pages = {277--288},
    publisher = {Springer},
    note = {zusammen mit 2. Österreichische Artificial-Intelligence-Tagung}
}