@misc{indiciae09c6db650b97,
  title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems},
  author = {Matthew Hague and Roland Meyer and Sebastian Muskalla and Martin Zimmermann},
  year = {2018},
  url = {https://arxiv.org/abs/1805.02963},
  note = {Source identifier: 1805.02963}
}