Termination proofs for string rewriting systems via inverse match-bounds
scientific article; zbMATH DE number 5073793