Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. Smith, D. A. & Utting, M. In Implementation Technology for Programming Languages based on Logic, pages 113-126, 1998.
Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. [link]Paper  bibtex   
@inproceedings{ conf/iclp/SmithU98,
  added-at = {2013-12-02T00:00:00.000+0100},
  author = {Smith, Donald A. and Utting, Mark},
  biburl = {http://www.bibsonomy.org/bibtex/26b7e9d4643bb9e027ead92cc2683e606/dblp},
  booktitle = {Implementation Technology for Programming Languages based on Logic},
  crossref = {conf/iclp/1998w1},
  editor = {Sagonas, Konstantinos F.},
  interhash = {b87b3e99ddb198ddf76a46be81c23510},
  intrahash = {6b7e9d4643bb9e027ead92cc2683e606},
  keywords = {dblp},
  pages = {113-126},
  title = {Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.},
  url = {http://dblp.uni-trier.de/db/conf/iclp/iclp98-w1.html#SmithU98},
  year = {1998}
}

Downloads: 0