@article{neele_partial-order_2022,
    title = {{Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems}},
    author = {Neele, Thomas and Willemse, Tim A.C. and Wesselink, Wieger and Valmari, Antti},
    year = {2022},
    publisher = {Springer},
    journal = {Software Tools for Technology Transfer},
    pages = {735--756},
    volume = {24},
    number = {5},
    doi = {10.1007/s10009-022-00672-0},
}