Proving Termination of Context-Sensitive Rewriting with MU-TERM (0)

by B Alarcón, R Gutiérrez, J Iborra, S Lucas
Venue:Electronic Notes in Theoretical Computer Science