Johannes Gehrke. Technical Perspective: Checking Invariant Confluence, In Whole or In Parts. SIGMOD Record, 49(1):6, 2020. [doi]
@article{Gehrke20, title = {Technical Perspective: Checking Invariant Confluence, In Whole or In Parts}, author = {Johannes Gehrke}, year = {2020}, doi = {10.1145/3422648.3422650}, url = {https://doi.org/10.1145/3422648.3422650}, researchr = {https://researchr.org/publication/Gehrke20}, cites = {0}, citedby = {0}, journal = {SIGMOD Record}, volume = {49}, number = {1}, pages = {6}, }