Sanjai Narain. A Technique for Doing Lazy Evaluation in Logic. Journal of Logic and Algebraic Programming, 3(3):259-276, 1986.
@article{Narain86, title = {A Technique for Doing Lazy Evaluation in Logic}, author = {Sanjai Narain}, year = {1986}, tags = {laziness, logic}, researchr = {https://researchr.org/publication/Narain86}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {3}, number = {3}, pages = {259-276}, }