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.
No references recorded for this publication.
No citations of this publication recorded.