Context-sensitive dependency pairs (2008)

by B Alarcón, R Gutiérrez, S Lucas