@misc{indiciae0063faf97ab0,
  title = {Resource Analysis driven by (Conditional) Termination Proofs},
  author = {Elvira Albert and Miquel Bofill and Cristina Borralleras and Enrique Martin-Martin and Albert Rubio},
  year = {2019},
  doi = {10.1017/s1471068419000152},
  url = {https://arxiv.org/abs/1907.10096},
  note = {Source identifier: 1907.10096}
}