@INPROCEEDINGS{ANSS09a,
  author = {G.~Aranda and S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez-Hern\'andez},
  title = {Implementing a Fixpoint Semantics for a Constraint Deductive Database
    based on Hereditary Harrop Formulas},
  booktitle = {Procedings of the 11th International ACM SIGPLAN Symposium of Principles
    and Practice of Declarative Programing (PPDP'09)},
  year = {2009},
  pages = {117-128},
  publisher = {ACM Press},
  butype = {inproceedings},
  projects = {MERIT,PROMESAS,STAMP,GPD}
}