A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.

Stephan Falke Deepak Kapur A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. 277-293 2009 CADE http://dx.doi.org/10.1007/978-3-642-02959-2_22 conf/cade/2009 db/conf/cade/cade2009.html#FalkeK09