@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}
}

{"_id":{"_str":"537c54b8b3aa042605005c0b"},"__v":0,"authorIDs":[],"author_short":["Smith, D.<nbsp>A.","Utting, M."],"bibbaseid":"smith-utting-pseudonaiveevaluationmixingtopdownandbottomupexecutionforstronglystratifiedlogicprograms-1998","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"smith-utting-pseudonaiveevaluationmixingtopdownandbottomupexecutionforstronglystratifiedlogicprograms-1998","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/iclp/iclp98-w1.html#SmithU98"},"role":"author","year":"1998","url":"http://dblp.uni-trier.de/db/conf/iclp/iclp98-w1.html#SmithU98","type":"inproceedings","title":"Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.","pages":"113-126","keywords":"dblp","key":"conf/iclp/SmithU98","intrahash":"6b7e9d4643bb9e027ead92cc2683e606","interhash":"b87b3e99ddb198ddf76a46be81c23510","id":"conf/iclp/SmithU98","editor_short":["Sagonas, K.<nbsp>F."],"editor":["Sagonas, Konstantinos F."],"crossref":"conf/iclp/1998w1","booktitle":"Implementation Technology for Programming Languages based on Logic","biburl":"http://www.bibsonomy.org/bibtex/26b7e9d4643bb9e027ead92cc2683e606/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/iclp/SmithU98,\n added-at = {2013-12-02T00:00:00.000+0100},\n author = {Smith, Donald A. and Utting, Mark},\n biburl = {http://www.bibsonomy.org/bibtex/26b7e9d4643bb9e027ead92cc2683e606/dblp},\n booktitle = {Implementation Technology for Programming Languages based on Logic},\n crossref = {conf/iclp/1998w1},\n editor = {Sagonas, Konstantinos F.},\n interhash = {b87b3e99ddb198ddf76a46be81c23510},\n intrahash = {6b7e9d4643bb9e027ead92cc2683e606},\n keywords = {dblp},\n pages = {113-126},\n title = {Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.},\n url = {http://dblp.uni-trier.de/db/conf/iclp/iclp98-w1.html#SmithU98},\n year = {1998}\n}","author_short":["Smith, D.<nbsp>A.","Utting, M."],"author":["Smith, Donald A.","Utting, Mark"],"added-at":"2013-12-02T00:00:00.000+0100"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Smith?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["pseudo","naive","evaluation","mixing","top","down","bottom","execution","strongly","stratified","logic","programs","smith","utting"],"title":"Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.","year":1998,"dataSources":["DvJyE8CDhC2bX8rnN"]}