@techreport{neele_partial-order_2019,
    title = {{Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Technical Report)}},
    author = {Neele, Thomas and Willemse, Tim A.C. and Wesselink, Wieger},
    year = {2019},
    institution = {Eindhoven University of Technology},
    series = {Computer Science Reports},
    number = {19/02},
}