Decidability of second order theories and automata on infinite trees (1969)

by M O Rabin
Venue:Trans. Amer. Math. Soc