@inproceedings{nssflops08,
author = {S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez},
title = {Formalizing a Constraint Deductive Database Language based on Hereditary {H}arrop Formulas with Negation},
booktitle = {Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08)},
pages= {289--304},
publisher = {Springer},
series = {LNCS},
volume = {4989},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}