@misc{indiciae80bed307a091, title = {On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions}, author = {Antonio Casares}, year = {2021}, url = {https://arxiv.org/abs/2105.12009}, note = {Source identifier: 2105.12009} }