Interpolation-Based Height Analysis for Improving a Recurrence Solver | Publicación