Sanjai Narain
A Technique for Doing Lazy Evaluation in Logic
ICLP, 1985.
@inproceedings{SLP-1985-Narain85,
author = "Sanjai Narain",
booktitle = "{Proceedings of the Second Symposium on Logic Programming}",
isbn = "0-8186-0636-3",
pages = "261--269",
publisher = "{IEEE-CS}",
title = "{A Technique for Doing Lazy Evaluation in Logic}",
year = 1985,
}