1. Abiteboul, S., Simon, E., and Vianu, V. (1990). Non-deterministic languages to express deterministic transformations. In Proc. ACM PODS, pages 218–229.
2. Expressive power of query languages;Abiteboul,1992
3. Towards a theory of declarative knowledge;Apt,1988
4. Computation and implementation of non-monotonic deductive databases;Bell,1991
5. Ben-Eliyahu, R. and Dechter, R. (1992). Propositional semantics for disjunctive logic programs. In JICSLP-92: Proceedings of the 1992 joint international conference and symposium on logic programming, Washington, D.C. To appear in a special issue of Annals of Mathematics and AI on disjunctive logic programs.