Rupak Majumdar, Andrey Rybalchenko, and RuGang Xu. Proving non-termination (2008)

by Ashutosh Gupta, Thomas A Henzinger
Venue:In ACM POPL