@misc{indiciaebe3152e53a2b,
  title = {Towards Assertion-based Debugging of Higher-Order (C)LP Programs},
  author = {Nataliia Stulova and José F. Morales and Manuel V. Hermenegildo},
  year = {2014},
  url = {https://arxiv.org/abs/1405.7898},
  note = {Source identifier: 1405.7898}
}