@misc{indiciae4da0a6e5a439,
  title = {An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation},
  author = {Jan Friso Groote and Anton Wijs},
  year = {2016},
  url = {https://arxiv.org/abs/1601.01478},
  note = {Source identifier: 1601.01478}
}