@inproceedings{miulescu_method_2026,
    title = {{A Method for Testing Partial-Order Reduction Theories in Alloy}},
    author = {Miulescu, Mara and Neele, Thomas},
    year = {2026},
    publisher = {Springer},
    booktitle = {ABZ 2026},
    pages = {126--144},
    series = {LNCS},
    volume = {16579},
    doi = {10.1007/978-3-032-26752-8_8},
}