@techreport{nssReport08,
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 Harrop Formulas with Negation (Extended Version)},
booktitle = {Technical Report UCM-SIC-4-08},
pages= {20 pages},
institution = {UCM, Madrid},
projects = {MERIT,PROMESAS},
butype = {},
year = {2008}
}