@misc{indiciae62908db8444c,
  title = {Bisimulation Finiteness of Pushdown Systems Is Elementary},
  author = {Stefan Göller and Paweł Parys},
  year = {2020},
  url = {https://arxiv.org/abs/2005.06285},
  note = {Source identifier: 2005.06285}
}