Jürgen Giesl René Thiemann Peter Schneider-Kamp Stephan Falke Mechanizing and Improving Dependency Pairs. 155-203 2006 37 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-006-9057-7 db/journals/jar/jar37.html#GieslTSF06