Knuth-Bendix completion of theories of commuting group endomorphisms
scientific article; zbMATH DE number 5659928