Searching for "Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases." – sorted by Relevance.
-
Tabled Evaluation with Delaying for General Logic Programs
- --302, 1992. [20] D.B. Kemp and R.W. Topor. Completeness of a top-down query evaluation procedure
- Cited by 187 (25 self) – Add To MetaCart
-
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
- Programming, pages 337--351. MIT, June 1991. [KT88] D.B. Kemp and R.W. Topor. Completeness of a Top-down Query
- Cited by 71 (13 self) – Add To MetaCart

