Aart Middeldorp, Satoshi Okui, Tetsuo Ida. Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theoretical Computer Science, 167(1&2):95-130, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.