Title: Infinite systems of reductions and Knuth-Bendix orderings