Klarlund, N. Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata. DPB 1992, 21.