@inproceedings{Safra_1989,
    doi = {10.1145/73007.73019},
    url = {https://doi.org/10.1145%2F73007.73019},
    year = {1989},
    publisher = {{ACM} Press},
    author = {S. Safra and M. Y. Vardi},
    title = {On {$\omega$}-automata and temporal logic},
    booktitle = {Proceedings of the twenty-first annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}89}
}

@inproceedings{Safra_1989, doi = {10.1145/73007.73019}, url = {https://doi.org/10.1145%2F73007.73019}, year = {1989}, publisher = {{ACM} Press}, author = {S. Safra and M. Y. Vardi}, title = {On {$\omega$}-automata and temporal logic}, booktitle = {Proceedings of the twenty-first annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}89} }