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

by Ashutosh Gupta, Tom Henzinger
Venue:In POPL