Confluence of Right Ground Term Rewriting Systems Is Decidable.

Lukasz Kaiser

Browse the full FOSSACS paper archive.