A Technique for Doing Lazy Evaluation in Logic.

Sanjai Narain A Technique for Doing Lazy Evaluation in Logic. 259-276 1986 3 J. Log. Program. 3 db/journals/jlp/jlp3.html#Narain86