1. Robust exponential worst cases for divide-et-impera algorithms for parity games;Benerecetti,2017
2. Games with Forbidden Positions;Mostowski,1991
3. On model checking for the muCalculus and its fragments;Emerson;Theor. Comput. Sci.,2001
4. Tree automata, muCalculus, and determinacy;Emerson,1991
5. Borel determinacy;Martin;Ann. Math.,1975