The derivational complexity of string rewriting systems
scientific article; zbMATH DE number 6064137