Definability results for top-down tree transducers
scientific article; zbMATH DE number 7498734