Proving termination using recursive path orders and SAT solving (2007)

by P Schneider-Kamp, R Thiemann, E Annov, M Codish, J Giesl
Venue:In: Proc. 6th International Symposium on Frontiers of Combining Systems, LNAI