@INPROCEEDINGS{anss11a-prole11,
  author = {G.~Aranda and S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez-Hern\'andez},
  title={{Incorporating Integrity Constraints to a Deductive Database System}},
  booktitle={{XI Jornadas sobre Programaci\'on y Lenguajes, PROLE2011
(SISTEDES)}},
  month={September},
  year={2011},
  note={Ongoing Work}
  }