@misc{indiciae0391d0923f5d,
  title = {Detecting Robustness against MVRC for Transaction Programs with Predicate Reads},
  author = {Brecht Vandevoort and Bas Ketsman and Christoph Koch and Frank Neven},
  year = {2023},
  url = {https://arxiv.org/abs/2302.08789},
  note = {Source identifier: 2302.08789}
}