@misc{indiciae392f76e48568,
  title = {Scope-Bounded Reachability in Valence Systems},
  author = {Aneesh K. Shetty and S. Krishna and Georg Zetzsche},
  year = {2021},
  url = {https://arxiv.org/abs/2108.00963},
  note = {Source identifier: 2108.00963}
}