@misc{indiciaec9db473d46d4,
  title = {A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction},
  author = {Thomas Neele and Antti Valmari and Tim A. C. Willemse},
  year = {2021},
  doi = {10.46298/lmcs-17(3:8)2021},
  url = {https://arxiv.org/abs/2012.15704},
  note = {Source identifier: 2012.15704}
}