Confluence of Shallow Right-Linear Rewrite Systems.

Guillem Godoy, Ashish Tiwari

Browse the full CSL paper archive.