@inproceedings{Hor07-TACAS,
 author = {Florian Horn},
 title = {{Faster Algorithms for Finitary Games}},
 pages = {472--484},
 booktitle = {Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'07},
 publisher = {Springer-Verlag},
 series = {Lecture Notes in Computer Science},
 volume	= 4424,
 year = 2007,
}