Ana Sofia Gomes, José Júlio Alferes. Combining transactions and automatic repairs. Journal of Logic and Computation, 28(3):525-550, 2018. [doi]
@article{GomesA18,
title = {Combining transactions and automatic repairs},
author = {Ana Sofia Gomes and José Júlio Alferes},
year = {2018},
doi = {10.1093/logcom/exv006},
url = {https://doi.org/10.1093/logcom/exv006},
researchr = {https://researchr.org/publication/GomesA18},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {28},
number = {3},
pages = {525-550},
}