@thesis{neele_reductions_2020,
    title = {Reductions for Parity Games and Model Checking},
    author = {Neele, Thomas},
    year = {2020},
    institution = {Eindhoven University of Technology},
}