@inproceedings{Boja_czyk_2013,
    doi = {10.1145/2463664.2465228},
    url = {https://doi.org/10.1145%2F2463664.2465228},
    year = {2013},
    month = {jun},
    publisher = {{ACM}},
    author = {Miko{{\l}}aj Boja{\'{n}}czyk and Luc Segoufin and Szymon Toru{\'{n}}czyk},
    title = {Verification of database-driven systems via amalgamation},
    booktitle = {Proceedings of the 32nd {ACM} {SIGMOD}-{SIGACT}-{SIGAI} symposium on Principles of database systems}
}

@inproceedings{Boja_czyk_2013, doi = {10.1145/2463664.2465228}, url = {https://doi.org/10.1145%2F2463664.2465228}, year = {2013}, month = {jun}, publisher = {{ACM}}, author = {Miko{{\l}}aj Boja{\'{n}}czyk and Luc Segoufin and Szymon Toru{\'{n}}czyk}, title = {Verification of database-driven systems via amalgamation}, booktitle = {Proceedings of the 32nd {ACM} {SIGMOD}-{SIGACT}-{SIGAI} symposium on Principles of database systems} }