Proving conditional termination. (2008)

by B Cook, S Gulwani, T Lev-Ami, A Rybalchenko, M Sagiv
Venue:In Computer Aided Verification, LNCS.