@article{Alur_1998,
    doi = {10.1145/295656.295659},
    url = {https://doi.org/10.1145%2F295656.295659},
    year = {1998},
    month = {nov},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {20},
    number = {6},
    pages = {1171--1194},
    author = {Rajeev Alur and Thomas A. Henzinger},
    title = {Finitary fairness},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Alur_1998, doi = {10.1145/295656.295659}, url = {https://doi.org/10.1145%2F295656.295659}, year = {1998}, month = {nov}, publisher = {Association for Computing Machinery ({ACM})}, volume = {20}, number = {6}, pages = {1171--1194}, author = {Rajeev Alur and Thomas A. Henzinger}, title = {Finitary fairness}, journal = {{ACM} Transactions on Programming Languages and Systems} }