Progress measures, immediate determinacy, and a subset construction for tree automata
scientific article; zbMATH DE number 683708