It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair.

Paliath Narendran, Jonathan Stillman

Browse the full STACS paper archive.