@article{CHH09-TOCL,
 author = {Krishnendu Chatterjee and Thomas A. Henzinger and Florian Horn},
 title = {{Finitary Winning in {$\omega$}-Regular Games}},
 journal = {ACM Transactions on Computational Logic, ToCL},
 volume = 11
 numver = 1
 note = {Paper }
 publisher = {ACM Press},
 year =	2009,
}