@misc{indiciae82a5aaa0d50b,
  title = {On-The-Fly Solving for Symbolic Parity Games},
  author = {Maurice Laveaux and Wieger Wesselink and Tim A. C. Willemse},
  year = {2022},
  url = {https://arxiv.org/abs/2201.09607},
  note = {Source identifier: 2201.09607}
}