Knuth-Bendix completion algorithm implementation - View it on GitHub