@article{KoeK26,
  title = {Reachability in Trace-Pushdown Systems},
  author = {Köcher, Chris and Kuske, Dietrich},
  date = {2026},
  journaltitle = {Theoretical Computer Science},
  volume = {1077},
  pages = {1--29},
  publisher = {Elsevier},
  issn = {0304-3975},
  doi = {10.1016/j.tcs.2026.115971}
}