@misc{indiciae7ab004a2d5f3,
  title = {Justifications and a Reconstruction of Parity Game Solving Algorithms},
  author = {Ruben Lapauw and Maurice Bruynooghe and Marc Denecker},
  year = {2021},
  url = {https://arxiv.org/abs/2102.01440},
  note = {Source identifier: 2102.01440}
}