N. Klarlund, “Progress measures, immediate determinacy, and a subset construction for tree automata”, DPB, vol. 21, no. 430, Dec. 1992.