Decidability of Second-Order Theories and Automata on Infinite Trees (1969)

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