1. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Issue 5 (September 2019) Authors: DOMÉNECH, JESÚS J.; GALLAGHER, JOHN P.; GENAIM, SAMIR Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 990 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗