E. A. Emerson and C. S. Jutla, Tree automata, mu-calculus and determinacy (extended abstract, 32nd Annual Symposium on Foundations of Computer Science, pp.368-377, 1991.
DOI : 10.1109/sfcs.1991.185392

A. W. Mostowski, Games with forbidden positions, 1991.

H. Björklund, S. Sandberg, and S. G. Vorobyov, Memoryless determinacy of parity and mean payoff games: a simple proof, Theoretical Computer Science, vol.310, issue.1-3, pp.1-3, 2004.
DOI : 10.1016/S0304-3975(03)00427-4

B. Karelovic and W. Zielonka, Nearest Fixed Points and Concurrent Priority Games, Proceedings, pp.381-393, 2015.
DOI : 10.1007/978-3-319-22177-9_29

URL : https://hal.archives-ouvertes.fr/hal-01414664