@misc{indiciae87d6c7ba5588,
  title = {A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems},
  author = {David N. Jansen and Jan Friso Groote and Jeroen J. A. Keiren and Anton Wijs},
  year = {2019},
  doi = {10.1007/978-3-030-45237-7\_1},
  url = {https://arxiv.org/abs/1909.10824},
  note = {Source identifier: 1909.10824}
}