@misc{indiciaecbf96dc24afc,
  title = {The theory of reachability in trace-pushdown systems},
  author = {Dietrich Kuske},
  year = {2026},
  doi = {10.46298/fi.16091},
  url = {https://arxiv.org/abs/2507.15733},
  note = {Source identifier: 2507.15733}
}