The Complexity of Tree Automata and Logics of Programs (Extended Abstract (1988)

by E A Emerson, C S Jutla
Venue:In 29th Annual Symposium on Foundations of Computer Science, FOCS ’88