@inproceedings{NSS06,
author = {S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez},
booktitle = {{Sextas Jornadas de Programaci\'{o}n y Lenguajes, PROLE}},
editor = {P. Lucio and F. Orejas},
pages = {171--182},
title = {{Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas}},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}