David B. Kemp Rodney W. Topor Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. 178-194 1988 ICLP/SLP db/conf/iclp/iclp88.html#KempT88