Check your ordering termination proofs and open problems - Steinbach, Joachim; Kühler, Ulrich (Fachbereich Informatik, Univ. Kaiserslautern, 1990)