Modular termination of context-sensitive rewriting.

Bernhard Gramlich, Salvador Lucas

Browse the full PPDP paper archive.