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

by Beatriz Alarcón , Raúl Gutiérrez , José Iborra , Salvador Lucas
Citations:20 - 18 self