@inproceedings{fopara11,
    booktitle = {Proceedings of the 2nd International Workshop on Foundational Practical Aspects of Resource Analysis, FOPARA'11},
    author = {Montenegro, Manuel and Shkaravska, Olha and van Eekelen, Marko and Pe{\~n}a, Ricardo},
    title = {Interpolation-based height analysis for improving a recurrence solver},
    publisher = {Springer},
    year = {2012},
}