Computing the Rabin Index of a Parity Automaton. - Olivier Carton; Ramón Maceiras (RAIRO Theor. Informatics Appl., 1999)