@misc{indiciaec932621af806,
  title = {Weak Bisimulation Finiteness of Pushdown Systems With Deterministic \$\textbackslash{}varepsilon\$-Transitions Is 2-ExpTime-Complete},
  author = {Stefan Göller and Paweł Parys},
  year = {2026},
  doi = {10.1137/1.9781611977554.ch105},
  url = {https://arxiv.org/abs/2608.10583},
  note = {Source identifier: 2608.10583}
}