The Knuth-Bendix procedure for strings as a substitute for coset enumeration
scientific article; zbMATH DE number 60658