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

by M O Rabin
Venue:Transactions of the American Mathematical Society