Carsten Fuhs Jürgen Giesl Aart Middeldorp Peter Schneider-Kamp René Thiemann Harald Zankl SAT Solving for Termination Analysis with Polynomial Interpretations. 340-354 2007 conf/sat/2007 SAT http://dx.doi.org/10.1007/978-3-540-72788-0_33 db/conf/sat/sat2007.html#FuhsGMSTZ07