Progress measures, immediate determinacy, and a subset construction for tree automataNils Klarlund1992LICS 1992