@article{carton_maceiras_1999,
    Author = {Carton, Olivier and Maceiras, Ram{\'o}n},
    File = {Computing the Rabin index of a parity automaton - ITA\_1999\_\_33\_6\_495\_0 - n.pdf},
    Journal = {RAIRO - Theoretical Informatics and Applications},
    Number = {6},
    Pages = {495--505},
    Publisher = {EDP Sciences},
    Title = {Computing the Rabin Index of a Parity Automaton},
    Volume = {33},
    Year = {1999},
    bdsk-url-1 = {https://doi.org/10.1051/ita:1999129},
    date-added = {2021-02-01 12:03:47 +0100},
    date-modified = {2021-02-01 12:03:47 +0100},
    doi = {10.1051/ita:1999129}
}

@article{carton_maceiras_1999, Author = {Carton, Olivier and Maceiras, Ram{\'o}n}, File = {Computing the Rabin index of a parity automaton - ITA_1999__33_6_495_0 - n.pdf}, Journal = {RAIRO - Theoretical Informatics and Applications}, Number = {6}, Pages = {495--505}, Publisher = {EDP Sciences}, Title = {Computing the Rabin Index of a Parity Automaton}, Volume = {33}, Year = {1999}, bdsk-url-1 = {https://doi.org/10.1051/ita:1999129}, date-added = {2021-02-01 12:03:47 +0100}, date-modified = {2021-02-01 12:03:47 +0100}, doi = {10.1051/ita:1999129} }