@inproceedings{neele_partial-order_2020,
    title = {Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems},
    authors = {Neele, Thomas and Willemse, Tim A.C. and Wesselink, Wieger},
    year = {2020},
    publisher = {Springer},
    booktitle = {TACAS 2020},
    pages = {307--324},
    series = {LNCS},
    volume = {12079},
    doi = {10.1007/978-3-030-45237-7_19},
}