
146
Apt,
Blair,
and
Walker
References
1. Aquilano, C, Barbuti, R., Bocchetti, P., and Martelli, M. [1986] Negation as
Failure: Completeness of the Query Evaluation Process for Horn Clause Programs
with Recursive Definitions, Journal of Automated Reasoning 2, 155-170.
2.
Artificial Intelligence [1980]
13(1).
3.
Apt, K. R. and Emden, M. H. van [1982] Contributions to the Theory of Logic
Programming, JACM 29(3):841-862.
4.
Apt, K. R. and Pugin, J. M. [1987] Maintenance of Stratified Databases Viewed
as a Belief Revision System, in Proc. of the 6th ACM Symposium on Principles of
Database Systems, San Diego, CA, 136-145.
5.
Blair, H. A. [1982] Recursio ...