Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger. Qualitative concurrent parity games. ACM Trans. Comput. Log., 12(4):28, 2011. [doi]
@article{ChatterjeeAH11, title = {Qualitative concurrent parity games}, author = {Krishnendu Chatterjee and Luca de Alfaro and Thomas A. Henzinger}, year = {2011}, doi = {10.1145/1970398.1970404}, url = {http://doi.acm.org/10.1145/1970398.1970404}, researchr = {https://researchr.org/publication/ChatterjeeAH11}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {12}, number = {4}, pages = {28}, }