Byron Cook Andreas Podelski Andrey Rybalchenko Abstraction Refinement for Termination. 87-101 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_8 db/conf/sas/sas2005.html#CookPR05