A decidable word problem without equivalent canonical term rewriting system
Jean-Luc Deleage, Jean Marcel Pallo · International Journal of Computer Mathematics · 1989
We present a weak associative single-axiom system having the following property: the word problem is decidable with an efficient algorithm even though there does not exist any finite equivalent canonical term rewriting system.