On the complexity of simplification orderings - Steinbach, Joachim (Seki-Report, 1993)