Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.
VenueBICLP
Year1998
ProceedingsImplementation Technology for Programming Languages based on Logic
DBLP recordconf/iclp/SmithU98 ↗
Browse the full ICLP paper archive.