@misc{indiciaed7ca7688befc,
  title = {Reachability in Bidirected Pushdown VASS},
  author = {Moses Ganardi and Rupak Majumdar and Andreas Pavlogiannis and Lia Schütze and Georg Zetzsche},
  year = {2022},
  url = {https://arxiv.org/abs/2204.11799},
  note = {Source identifier: 2204.11799}
}