Divergence of the Knuth-Bendix Completion Procedure and Termination Orderings