About changing the ordering during Knuth-Bendix completion - Sattler-Klein, Andrea (Univ., Fachbereich Informatik, 1993)