Termination of Programs using Term Rewriting and SAT Solving.

Jürgen Giesl Peter Schneider-Kamp René Thiemann Stephan Swiderski Manh Thang Nguyen Danny De Schreye Alexander Serebrenik Termination of Programs using Term Rewriting and SAT Solving. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1248 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#GieslSTSNSS07