Term orderings with status - Steinbach, Joachim (Seki-Report, 1988)