Harnessing first order termination provers using higher order dependency pairs (2011)

by C Fuhs, C Kop
Venue:Proceedings of the 8th International Symposium on Frontiers of Combining Systems (FroCoS ’11), volume 6989 of LNAI