@misc{indiciaefd9491b7bf72,
  title = {Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis},
  author = {Jesús J. Doménech and John P. Gallagher and Samir Genaim},
  year = {2019},
  url = {https://arxiv.org/abs/1907.12345},
  note = {Source identifier: 1907.12345}
}