@incollection {springerlink:10.1007/978-3-642-32495-6_3,
   author = {Montenegro, Manuel and Shkaravska, Olha and van Eekelen, Marko and Peña, Ricardo},
   affiliation = {Universidad Complutense Madrid, Spain},
   title = {Interpolation-Based Height Analysis for Improving a Recurrence Solver},
   booktitle = {Foundational and Practical Aspects of Resource Analysis},
   series = {Lecture Notes in Computer Science},
   editor = {Peña, Ricardo and van Eekelen, Marko and Shkaravska, Olha},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-32494-9},
   keyword = {Computer Science},
   pages = {36-53},
   volume = {7177},
   url = {http://dx.doi.org/10.1007/978-3-642-32495-6_3},
   note = {10.1007/978-3-642-32495-6_3},
   year = {2012}
}