Proving Termination of Context-Sensitive Rewriting with MU-TERM. - Beatriz Alarcón; Raúl Gutiérrez; José Iborra; Salvador Lucas (PROLE, 2006)

Improving the Context-sensitive Dependency Graph. - Beatriz Alarcón; Raúl Gutiérrez; Salvador Lucas (PROLE, 2006)

Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. - Beatriz Alarcón; Salvador Lucas (FroCoS, 2007)

Improving Context-Sensitive Dependency Pairs. - Beatriz Alarcón; Fabian Emmes; Carsten Fuhs; Jürgen Giesl; Raúl Gutiérrez; Salvador Lucas; Peter Schneider-Kamp; René Thiemann (LPAR, 2008)

Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. - Beatriz Alarcón; Salvador Lucas (PROLE, 2008)

Proving Termination Properties with mu-term. - Beatriz Alarcón; Raúl Gutiérrez; Salvador Lucas; Rafael Navarro-Marset (AMAST, 2010)

A Dependency Pair Framework for A OR C-Termination. - Beatriz Alarcón; Salvador Lucas; José Meseguer 001 (WRLA, 2010)

Context-sensitive dependency pairs. - Beatriz Alarcón; Raúl Gutiérrez; Salvador Lucas (Inf. Comput., 2010)