(en) Michael O. Rabin, « Decidability of second-order theories and automata on infinite trees », Bulletin of the American Mathematical Society, vol. 74, no 5, , p. 1025–1029 (ISSN0002-9904 et 1936-881X, lire en ligne, consulté le )
projecteuclid.org
(en) Michael O. Rabin, « Decidability of second-order theories and automata on infinite trees », Bulletin of the American Mathematical Society, vol. 74, no 5, , p. 1025–1029 (ISSN0002-9904 et 1936-881X, lire en ligne, consulté le )