Title: An implementation of the knuth-bendix completion procedure