David B. Kemp, Peter J. Stuckey, Divesh Srivastava
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
ICLP, 1992.
@inproceedings{JICSLP-1992-KempSS,
author = "David B. Kemp and Peter J. Stuckey and Divesh Srivastava",
booktitle = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}",
isbn = "0-262-51064-2",
pages = "288--302",
publisher = "{MIT Press}",
title = "{Query Restricted Bottom-Up Evaluation of Normal Logic Programs}",
year = 1992,
}











