Path and decomposition orderings for proving AC-termination - Steinbach, Joachim (Fachbereich Informatik, Univ. Kaiserslautern, 1989)