Knuth-Bendix completion of theories of commuting group endomorphisms