@misc{indiciae458d37d12ba2,
  title = {Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption},
  author = {Pedro Lopez-Garcia and Luthfi Darmawan and Maximiliano Klemen and Umer Liqat and Francisco Bueno and Manuel V. Hermenegildo},
  year = {2018},
  url = {https://arxiv.org/abs/1803.04451},
  note = {Source identifier: 1803.04451}
}