It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair. (English) Zbl 1494.68119
Monien, Burkhard (ed.) et al., STACS 89. 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16–18, 1989. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 349, 348-359 (1989).