Query Restricted Bottom-Up Evaluation of Normal Logic Programs

David B. Kemp, Peter J. Stuckey, Divesh Srivastava. Query Restricted Bottom-Up Evaluation of Normal Logic Programs. In JICSLP. pages 288-302, 1992.

@inproceedings{KempSS92,
  title = {Query Restricted Bottom-Up Evaluation of Normal Logic Programs},
  author = {David B. Kemp and Peter J. Stuckey and Divesh Srivastava},
  year = {1992},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/KempSS92},
  cites = {0},
  citedby = {0},
  pages = {288-302},
  booktitle = {JICSLP},
}