Elvira Albert Puri Arenas Samir Genaim Germán Puebla Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. 221-237 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_15 conf/sas/2008 db/conf/sas/sas2008.html#AlbertAGP08