Rabin, « Decidability of second order theories and automata on infinite trees », Transactions of the American Mathematical Society, vol. 141, , p. 1–35 (DOI10.2307/1995086, JSTOR1995086, lire en ligne [archive du ])
Rabin, « Decidability of second order theories and automata on infinite trees », Transactions of the American Mathematical Society, vol. 141, , p. 1–35 (DOI10.2307/1995086, JSTOR1995086, lire en ligne [archive du ])
Rabin, « Decidability of second order theories and automata on infinite trees », Transactions of the American Mathematical Society, vol. 141, , p. 1–35 (DOI10.2307/1995086, JSTOR1995086, lire en ligne [archive du ])
Martin, « The determinacy of Blackwell games », Journal of Symbolic Logic, vol. 63, no 4, , p. 1565–1581 (DOI10.2307/2586667, JSTOR2586667)
Rabin, « Decidability of second order theories and automata on infinite trees », Transactions of the American Mathematical Society, vol. 141, , p. 1–35 (DOI10.2307/1995086, JSTOR1995086, lire en ligne [archive du ])