@misc{indiciaea3fdb42eee97,
  title = {Stubborn Transaction Reduction (with Proofs)},
  author = {Alfons Laarman},
  year = {2018},
  url = {https://arxiv.org/abs/1802.02685},
  note = {Source identifier: 1802.02685}
}