http://dbpedia.org/resource/Knuth–Bendix_completion_algorithm Knuth–Bendix completion algorithm