About changing the ordering during Knuth-Bendix completion - Sattler-Klein, Andrea (Seki-Report, 1993)