Over-approximating terms reachable by context-sensitive rewriting
scientific article; zbMATH DE number 6798772