Donald A. Smith, Mark Utting. Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. In Implementation Technology for Programming Languages based on Logic. pages 113-126, 1998.
@inproceedings{SmithU98,
title = {Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs},
author = {Donald A. Smith and Mark Utting},
year = {1998},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/SmithU98},
cites = {0},
citedby = {0},
pages = {113-126},
booktitle = {Implementation Technology for Programming Languages based on Logic},
}