1. Resource Analysis driven by (Conditional) Termination Proofs. Issue 5 (September 2019) Authors: ALBERT, ELVIRA; BOFILL, MIQUEL; BORRALLERAS, CRISTINA; MARTIN-MARTIN, ENRIQUE; RUBIO, ALBERT Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 722 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗