A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs - Rustenholz, Louis (arXiv.org)