@article{leanierod,
author = {J.~Leach and S.~Nieva and M.~Rodr\'{\i}guez-Artalejo},
journal = {TPLP},
number = {4},
pages = {409--445},
publisher = {Cambridge University Press},
title = {{Constraint Logic Programming with Hereditary Harrop Formulas}},
volume = {1},
projects = {},
butype = {article},
year = {2001}
}