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

by Ashutosh Gupta, Tom Henzinger
Venue:In POPL ’08: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on Principles of programming languages