@misc{indiciae448fb28517f7,
  title = {Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types},
  author = {Alejandro Serrano and Pedro Lopez-Garcia and Manuel V. Hermenegildo},
  year = {2014},
  doi = {10.1017/s147106841400057x},
  url = {https://arxiv.org/abs/1405.4256},
  note = {Source identifier: 1405.4256}
}