@inproceedings{neele_inconsistent_2020,
    title = {The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction},
    authors = {Neele, Thomas and Valmari, Antti and Willemse, Tim A. C.},
    year = {2020},
    publisher = {Springer},
    booktitle = {FoSSaCS 2020},
    pages = {482--501},
    series = {LNCS},
    volume = {12077},
    doi = {10.1007/978-3-030-45231-5_25},
}