"Lazy Narrowing: Strong Completeness and Eager Variable Elimination."

Aart Middeldorp, Satoshi Okui, Tetsuo Ida (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics