Termination of string rewriting proved automatically
scientific article; zbMATH DE number 5070709