Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.

Ashish Tiwari

Browse the full LICS paper archive.