Check your ordering termination proofs and open problems - Steinbach, Joachim; Kühler, Ulrich (Seki-Report, 1990)