@misc{indiciae04ca9a397b54,
  title = {On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs},
  author = {Heike Wehrheim},
  year = {2021},
  url = {https://arxiv.org/abs/2107.00271},
  note = {Source identifier: 2107.00271}
}