On normalizing, non-terminating one-rule string rewriting systems
scientific article; zbMATH DE number 1493448