Mechanizing and improving dependency pairs. (2006)

by J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Venue:JAR