@article{doi:10.1137/S0097539798332518,
    Author = {Safra, S.},
    EPrint = {http://epubs.siam.org/doi/pdf/10.1137/S0097539798332518},
    Journal = {SIAM Journal on Computing},
    Keywords = {no pdf},
    Number = {3},
    Pages = {803-814},
    Title = {Exponential Determinization for {$\omega$}‐Automata with a Strong Fairness Acceptance Condition},
    URL = {http://epubs.siam.org/doi/abs/10.1137/S0097539798332518},
    Volume = {36},
    Year = {2006},
    bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/S0097539798332518},
    bdsk-url-2 = {http://dx.doi.org/10.1137/S0097539798332518},
    date-added = {2014-05-16 05:37:41 +0000},
    date-modified = {2014-05-16 05:37:46 +0000},
    doi = {10.1137/S0097539798332518}
}

@article{doi:10.1137/S0097539798332518, Author = {Safra, S.}, EPrint = {http://epubs.siam.org/doi/pdf/10.1137/S0097539798332518}, Journal = {SIAM Journal on Computing}, Keywords = {no pdf}, Number = {3}, Pages = {803-814}, Title = {Exponential Determinization for {$\omega$}‐Automata with a Strong Fairness Acceptance Condition}, URL = {http://epubs.siam.org/doi/abs/10.1137/S0097539798332518}, Volume = {36}, Year = {2006}, bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/S0097539798332518}, bdsk-url-2 = {http://dx.doi.org/10.1137/S0097539798332518}, date-added = {2014-05-16 05:37:41 +0000}, date-modified = {2014-05-16 05:37:46 +0000}, doi = {10.1137/S0097539798332518} }