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

Stephan Falke, Deepak Kapur

Browse the full CADE paper archive.