@article{neele_partial-order_2022,
    title = {Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems},
    authors = {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},
    issue = {5},
    doi = {10.1007/s10009-022-00672-0},
}