David B. Kemp, Rodney W. Topor. Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. In ICLP/SLP. pages 178-194, 1988.
@inproceedings{KempT88,
title = {Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases},
author = {David B. Kemp and Rodney W. Topor},
year = {1988},
tags = {completeness},
researchr = {https://researchr.org/publication/KempT88},
cites = {0},
citedby = {0},
pages = {178-194},
booktitle = {ICLP/SLP},
}