@misc{indiciae3c233b897da8,
  title = {Reachability in Trace-Pushdown Systems},
  author = {Chris Köcher and Dietrich Kuske},
  year = {2025},
  url = {https://arxiv.org/abs/2502.11630},
  note = {Source identifier: 2502.11630}
}