Termination proofs of rewriting systems heuristics for generating polynomial orderings - Steinbach, Joachim (Seki-Report, 1991)