@article{DBLP:journals/pvldb/BalegasDFRP18,
  author       = {Valter Balegas and
                  S{\'{e}}rgio Duarte and
                  Carla Ferreira and
                  Rodrigo Rodrigues and
                  Nuno M. Pregui{\c{c}}a},
  title        = {{IPA:} Invariant-preserving Applications for Weakly consistent Replicated
                  Databases},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {12},
  number       = {4},
  pages        = {404--418},
  year         = {2018},
  url          = {http://www.vldb.org/pvldb/vol12/p404-balegas.pdf},
  doi          = {10.14778/3297753.3297760},
  timestamp    = {Thu, 12 Nov 2020 16:34:18 +0100},
  biburl       = {https://dblp.org/rec/journals/pvldb/BalegasDFRP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}