@inproceedings{NSS06,
author = {S. Nieva and F. {S\'aenz-P\'erez} and J. S\'anchez},
booktitle = {{Sextas Jornadas de Programaci\'on y Lenguajes, PROLE}},
editor = {P. Lucio and F. Orejas},
pages = {171--182},
title = {{Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas}},
year = {2006}
}