https://profilpelajar.com/bn/Knuth-Bendix_completion_algorithm