Wolfgang Küchlin. A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. In Jacques Calmet, editor, Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Volume 144 of Lecture Notes in Computer Science, pages 101-108, Springer, 1982.
Abstract is missing.