
Minker
described above that has led to this book. I would also like to express my ap-
preciation to Larry Davis, Director of the University of Maryland Institute for
Advanced Study, for supporting the workshop and providing me with clerical
support for this book and to Victor Basili, Chairman of the Department of
Computer Science, for his support.
References
1. Apt, K. R. and Emden, M. H. van [1982] Contributions to the Theory of Logic
Programming, in J ACM
29,
841
-862.
2.
Apt, K. and Pugin, J. M. [1987] Maintenance of Stratified Databases Viewed as a
Belief Revision System, Proc. of the Sixth ACM SIGACT News-SIGMOD-SIGART
Symposium on Principles ...