Termination of rewriting extensions, comparison and automatic generation of simplification orderings - Steinbach, Joachim (1994)
Kaiserslautern, Univ., Diss., 1994