Descendants of a recognizable tree language for sets of linear monadic term rewrite rules
scientific article; zbMATH DE number 5664468