On the Confluence of Linear Shallow Term Rewrite Systems.

Guillem Godoy, Ashish Tiwari, Rakesh M. Verma

Browse the full STACS paper archive.