A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs | Publicación