Linearity and nondeletion on monadic context-free tree grammars
scientific article; zbMATH DE number 5599192