Knuth_Bendix_Order