@misc{indiciae8f8e283352f0,
  title = {Quasipolynomial Set-Based Symbolic Algorithms for Parity Games},
  author = {Krishnendu Chatterjee and Wolfgang Dvořák and Monika Henzinger and Alexander Svozil},
  year = {2019},
  doi = {10.29007/5z5k},
  url = {https://arxiv.org/abs/1909.04983},
  note = {Source identifier: 1909.04983}
}