An implementation of the knuth-bendix completion procedure | lit.salon