@article{Deutsch_2014,
    doi = {10.1145/2694428.2694430},
    url = {https://doi.org/10.1145%2F2694428.2694430},
    year = {2014},
    month = {dec},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {43},
    number = {3},
    pages = {5--17},
    author = {Alin Deutsch and Richard Hull and Victor Vianu},
    title = {Automatic Verification of Database-Centric Systems},
    journal = {{ACM} {SIGMOD} Record}
}

@article{Deutsch_2014, doi = {10.1145/2694428.2694430}, url = {https://doi.org/10.1145%2F2694428.2694430}, year = {2014}, month = {dec}, publisher = {Association for Computing Machinery ({ACM})}, volume = {43}, number = {3}, pages = {5--17}, author = {Alin Deutsch and Richard Hull and Victor Vianu}, title = {Automatic Verification of Database-Centric Systems}, journal = {{ACM} {SIGMOD} Record} }