Termination analysis with calling context graphs (2006)

by P Manolios, D Vroon
Venue:In CAV ’06, volume 4144 of LNCS