David B. Kemp, Divesh Srivastava, Peter J. Stuckey
Magic Sets and Bottom-Up Evaluation of Well-Founded Models
ICLP, 1991.
@inproceedings{ISLP-1991-KempSS,
author = "David B. Kemp and Divesh Srivastava and Peter J. Stuckey",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "337--351",
publisher = "{MIT Press}",
title = "{Magic Sets and Bottom-Up Evaluation of Well-Founded Models}",
year = 1991,
}