Klein, Felix Automation of Logic, MPI for Informatics, Max Planck Society;
Klein, F., & Zimmermann, M. (2015). How Much Lookahead is Needed to Win Infinite Games? In M. M. Halldórsson, K. Iwama, N. Kobayashi, & B. Speckmann (Eds.), Automata, Languages, and Programming (pp. 452-463). Berlin: Springer. doi:10.1007/978-3-662-47666-6_36.