On the termination of the Knuth-Bendix completion algorithm - Avenhaus, Jürgen (Univ., 1984)