Büchi Tree Automata Based on “Weakly definable relations and special automata” By Michael Rabin.
Büchi Tree Automata