Context-Sensitive Dependency Pairs (2006)

by B Alarcón, R Gutiérrez, S Lucas
Venue:FST&TCS’06, volume 4337 of LNCS