The SMOV-strategy a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm - Sattler-Klein, Andrea (Interner Bericht / Universität <Kaiserslautern> / Fachbereich Informatik, 1988)