@inproceedings{Vianu_2009,
    doi = {10.1145/1514894.1514896},
    url = {https://doi.org/10.1145%2F1514894.1514896},
    year = {2009},
    month = {mar},
    publisher = {{ACM}},
    author = {Victor Vianu},
    title = {Automatic verification of database-driven systems},
    booktitle = {Proceedings of the 12th International Conference on Database Theory}
}

@inproceedings{Vianu_2009, doi = {10.1145/1514894.1514896}, url = {https://doi.org/10.1145%2F1514894.1514896}, year = {2009}, month = {mar}, publisher = {{ACM}}, author = {Victor Vianu}, title = {Automatic verification of database-driven systems}, booktitle = {Proceedings of the 12th International Conference on Database Theory} }