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

David B. Kemp, Rodney W. Topor

Browse the full ICLP paper archive.