Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules.

Guillem Godoy, Ashish Tiwari

Browse the full CADE paper archive.