@misc{indiciae240ecd4a2100,
  title = {Solving Parity Games Using An Automata-Based Algorithm},
  author = {Antonio Di Stasio and Aniello Murano and Giuseppe Perelli and Moshe Y. Vardi},
  year = {2019},
  url = {https://arxiv.org/abs/1910.13765},
  note = {Source identifier: 1910.13765}
}