Termination of Context-Sensitive Rewriting by Rewriting.

Salvador Lucas

Browse the full ICALP paper archive.