1. Cachat, T.: Uniform solution of parity games on prefix-recognizable graphs. Electr. Notes Theor. Comput. Sci. 68, 1–15 (2002)
2. Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy (extended abstract). In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1–4 October (1991)
3. Lecture Notes in Computer Science;O Kupferman,2010
4. Martin, D.A.: Borel determinacy. Ann. Math. 102, 363–371 (1975)
5. Lecture Notes in Computer Science;S Qadeer,2005