Synchronized tree automata
scientific article; zbMATH DE number 567715
scientific article