A term rewriting approach to the automated termination analysis of imperative programs (2009)

by S Falke, D Kapur
Venue:In Proc. 22nd CADE, volume 5663 of LNCS