@inproceedings{Klarlund,
    doi = {10.1109/sfcs.1991.185391},
    url = {https://doi.org/10.1109%2Fsfcs.1991.185391},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {N. Klarlund},
    title = {Progress measures for complementation omega -automata with applications to temporal logic},
    booktitle = {[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science}
}

@inproceedings{Klarlund, doi = {10.1109/sfcs.1991.185391}, url = {https://doi.org/10.1109%2Fsfcs.1991.185391}, publisher = {{IEEE} Comput. Soc. Press}, author = {N. Klarlund}, title = {Progress measures for complementation omega -automata with applications to temporal logic}, booktitle = {[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science} }