TY  - RPRT
TI  - An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
AU  - Nataliia Stulova
AU  - José F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2014
UR  - https://arxiv.org/abs/1404.4246
ID  - 1404.4246
ER  -