Proving program termination. (2011)

by B Cook, A Podelski, A Rybalchenko
Venue:Commun. ACM,