TY  - RPRT
TI  - Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
AU  - Alejandro Serrano
AU  - Pedro Lopez-Garcia
AU  - Manuel V. Hermenegildo
PY  - 2014
DO  - 10.1017/s147106841400057x
UR  - https://arxiv.org/abs/1405.4256
ID  - 1405.4256
ER  -