1. A. Bauval and L. Cholvy. Automated reasoning in case of inconsistency. In Proceedings of WOCFAI, Paris, France, 1991.
2. B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988.
3. R. Demolombe and A. Jones. Integrity Constraints Revisited. In A. Olive, editor, 4th International Workshop on the Deductive Approach to Information Systems and Databases. Universitat Politecnica de Barcelona, 1993.
4. R. Demolombe and A. Jones. Deriving answers to safety queries. In R. Demolombe and T. Imielinski, editor, Non Standard Queries and Answers, Oxford, To appear. Oxford University Press.
5. D. Elgesem. Action Theory and Modal Logic. PhD thesis, University of Oslo, Department of Philosophy, 1992.