TY  - RPRT
TI  - Resource Analysis driven by (Conditional) Termination Proofs
AU  - Elvira Albert
AU  - Miquel Bofill
AU  - Cristina Borralleras
AU  - Enrique Martin-Martin
AU  - Albert Rubio
PY  - 2019
DO  - 10.1017/s1471068419000152
UR  - https://arxiv.org/abs/1907.10096
ID  - 1907.10096
ER  -