Olivier Carton, Ramón Maceiras. Computing the Rabin Index of a Parity Automaton. ITA, 33(6):495-506, 1999.
@article{CartonM99, title = {Computing the Rabin Index of a Parity Automaton}, author = {Olivier Carton and Ramón Maceiras}, year = {1999}, researchr = {https://researchr.org/publication/CartonM99}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {33}, number = {6}, pages = {495-506}, }