[JansenGKW20]An O(m log n) algorithm for branching bisimilarity on labelled transition
systemsJansen, D. N.; Groote, J. F.; Keiren, J. J. A. and Wijs, A.In TACAS (2), pages 3-20, Springer, Lecture Notes in Computer Science 12079, 2020. Downloads: bib