Klarlund, Nils. 1992. “Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata”. DAIMI Report Series 21 (430). https://doi.org/10.7146/dpb.v21i430.7953.