Marc H. Graham, Moshe Y. Vardi. On the Complexity and Axiomatizability of Consistent Database States. In Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. pages 281-289, ACM, 1984. [doi]