@inproceedings{Safra_1992,
    doi = {10.1145/129712.129739},
    url = {https://doi.org/10.1145%2F129712.129739},
    year = {1992},
    publisher = {{ACM} Press},
    author = {Shmuel Safra},
    title = {Exponential determinization for {$\omega$}-automata with strong-fairness acceptance condition (extended abstract)},
    booktitle = {Proceedings of the twenty-fourth annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}92}
}

@inproceedings{Safra_1992, doi = {10.1145/129712.129739}, url = {https://doi.org/10.1145%2F129712.129739}, year = {1992}, publisher = {{ACM} Press}, author = {Shmuel Safra}, title = {Exponential determinization for {$\omega$}-automata with strong-fairness acceptance condition (extended abstract)}, booktitle = {Proceedings of the twenty-fourth annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}92} }