TY  - RPRT
TI  - Constraint Logic Programming with Hereditary Harrop Formula
AU  - Javier Leach
AU  - Susana Nieva
AU  - Mario Rodriguez-Artalejo
PY  - 2004
UR  - https://arxiv.org/abs/cs/0404053
ID  - cs/0404053
ER  -