@misc{https://doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2,
  doi = {10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2},
  url = {https://data.4tu.nl/articles/dataset/Reduction_and_Solving_of_Parity_Games/12719612/1},
  author = {Keiren, Jeroen},
  keywords = {Model checking, Parity games, Software verification, dissertation},
  title = {Reduction and Solving of Parity Games},
  publisher = {TU Eindhoven},
  year = {2013},
  copyright = {4TU General Terms of Use},
}