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]
@inproceedings{GrahamV84,
title = {On the Complexity and Axiomatizability of Consistent Database States},
author = {Marc H. Graham and Moshe Y. Vardi},
year = {1984},
doi = {10.1145/588011.588052},
url = {http://doi.acm.org/10.1145/588011.588052},
tags = {database},
researchr = {https://researchr.org/publication/GrahamV84},
cites = {0},
citedby = {0},
pages = {281-289},
booktitle = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
publisher = {ACM},
isbn = {0-89791-128-8},
}