SAT Solving for Termination Analysis with Polynomial Interpretations. (2007)

by C Fuhs, J Giesl, A Middeldorp, P Schneider-Kamp, R Thiemann, H Zankl
Venue:Proc. of 10th SAT, LNCS 4501,