@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 = {},
    series = {LNCS},
    volume = {},
    doi = {},
}