@misc{indiciae03c529b485cd, title = {Computing \$k\$-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis}, author = {Jannik Rau and David Richerby and Ansgar Scherp}, year = {2023}, url = {https://arxiv.org/abs/2204.05821}, note = {Source identifier: 2204.05821} }