@misc{indiciae5741574f8f69,
  title = {Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types},
  author = {Alejandro Serrano and Pedro López-García and Manuel Hermenegildo},
  year = {2013},
  url = {https://arxiv.org/abs/1308.3940},
  note = {Source identifier: 1308.3940}
}