Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis | Publicación