Comparison of simplification orderings - Steinbach, Joachim (Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1988)