APA (7th ed.) Citation

DOMÉNECH, J. J., GALLAGHER, J. P., & GENAIM, S. (2019). Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Theory & Practice of Logic Programming, 19(5/6), 990. https://doi.org/10.1017/S1471068419000310

Chicago Style (17th ed.) Citation

DOMÉNECH, JESÚS J., JOHN P. GALLAGHER, and SAMIR GENAIM. "Control-Flow Refinement by Partial Evaluation, and Its Application to Termination and Cost Analysis." Theory & Practice of Logic Programming 19, no. 5/6 (2019): 990. https://doi.org/10.1017/S1471068419000310.

MLA (9th ed.) Citation

DOMÉNECH, JESÚS J., et al. "Control-Flow Refinement by Partial Evaluation, and Its Application to Termination and Cost Analysis." Theory & Practice of Logic Programming, vol. 19, no. 5/6, 2019, p. 990, https://doi.org/10.1017/S1471068419000310.