@article{neele_detailed_2021,
    title = {A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction},
    authors = {Neele, Thomas and Valmari, Antti and Willemse, Tim A. C.},
    year = {2021},
    publisher = {},
    journal = {},
    pages = {8:1--8:27},
    volume = {17},
    issue = {3},
    doi = {10.46298/lmcs-17(3:8)2021},
}