A gap property of deterministic tree languages.
scientific article; zbMATH DE number 1965372
scientific article