@misc{indiciaed599926f822e,
  title = {An Approach to 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/1404.4246},
  note = {Source identifier: 1404.4246}
}