Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases

David B. Kemp, Rodney W. Topor. Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. In ICLP/SLP. pages 178-194, 1988.

Abstract

Abstract is missing.