Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. - DOMÉNECH, JESÚS J.; GALLAGHER, JOHN P.; GENAIM, SAMIR (Theory & Practice of Logic Programming, 2019)