Gutiérrez Gil, Raúl; Lucas Alba, Salvador; Urbain, Xavier(Springer-Verlag, 2008)
[EN] Recently, the dependency pairs (DP) approach has been generalized to context-sensitive rewriting (CSR). Although the context-sensitive dependency pairs (CS-DP) approach provides a very good basis for proving termination ...