Univ.-Prof. Dr. Aart Middeldorp   

Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract)

Satoshi Okui, Aart Middeldorp, and Tetsuo Ida
Proceedings of the 20th Colloquium on Trees in Algebra and Programming (CAAP 1995), Lecture Notes in Computer Science 915, pp. 394 – 408, 1995

abstract   bibtex   doi:10.1007/3-540-59293-8_209   journal version
© Springer