Tabled Evaluation With Delaying for General Logic Programs.

Weidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74(1996)

@article{DBLP:journals/jacm/ChenW96,
  author    = {Weidong Chen and
               David Scott Warren},
  title     = {Tabled Evaluation With Delaying for General Logic Programs},
  journal   = {J. ACM},
  volume    = {43},
  number    = {1},
  year      = {1996},
  pages     = {20-74},
  ee        = {db/journals/jacm/ChenW96.html, http://doi.acm.org/10.1145/227595.227597},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

BibTeX