Derivational complexity and context-sensitive Rewriting
scientific article; zbMATH DE number 7461269
scientific article