@article{ITA_1999__33_6_495_0,
     author = {Carton, Olivier and Maceiras, Ram\'on},
     title = {Computing the {Rabin} index of a parity automaton},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {495--505},
     year = {1999},
     publisher = {EDP Sciences},
     volume = {33},
     number = {6},
     mrnumber = {1747513},
     zbl = {0958.68089},
     language = {en},
     url = {https://www.numdam.org/item/ITA_1999__33_6_495_0/}
}