On the termination of the Knuth-Bendix completion algorithm - Avenhaus, Jürgen (1985)
Keywords: Knuth-Bendix-Vervollständigungsprozedur