TY  - RPRT
TI  - Towards 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/1405.7898
ID  - 1405.7898
ER  -