@misc{indiciae3db62e7e1947, title = {Fast Coalgebraic Bisimilarity Minimization}, author = {Jules Jacobs and Thorsten Wißmann}, year = {2022}, url = {https://arxiv.org/abs/2204.12368}, note = {Source identifier: 2204.12368} }