Proving non-termination. (2008)

by A Gupta, T A Henzinger, R Majumdar, A Rybalchenko, R-G Xu
Venue:In Principles of Programming Languages (POPL),