About the rewriting systems produced by the Knuth-Bendix completion algorithm
scientific article; zbMATH DE number 3799009