TY  - RPRT
TI  - Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types
AU  - Alejandro Serrano
AU  - Pedro López-García
AU  - Manuel Hermenegildo
PY  - 2013
UR  - https://arxiv.org/abs/1308.3940
ID  - 1308.3940
ER  -