%0 Journal Article %1 journals/corr/SerranoLH14 %A Serrano, Alejandro %A López-García, Pedro %A Hermenegildo, Manuel V. %D 2014 %J CoRR %K dblp %T Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. %U http://dblp.uni-trier.de/db/journals/corr/corr1405.html#SerranoLH14 %V abs/1405.4256

@article{journals/corr/SerranoLH14, added-at = {2019-02-19T00:00:00.000+0100}, author = {Serrano, Alejandro and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2331f47a676b5e87f822199fb564da596/dblp}, ee = {http://arxiv.org/abs/1405.4256}, interhash = {1b3dd73740628efd568ff6de93479113}, intrahash = {331f47a676b5e87f822199fb564da596}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-02-20T11:37:32.000+0100}, title = {Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1405.html#SerranoLH14}, volume = {abs/1405.4256}, year = 2014 }