Progress measures, immediate determinacy, and a subset construction for tree automata | IEEE Conference Publication | IEEE Xplore