On the complexity of simplification orderings - Steinbach, Joachim (Univ., Fachbereich Informatik, 1993)