@INPROCEEDINGS{anssPROLE09,
  author = {G.~Aranda and S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez-Hern\'andez},
  title = {Implementaci\'on de una sem\'antica de punto fijo para un sistema
    de bases de datos deductivas con restricciones.},
  booktitle = {IX Jornadas sobre Programaci\'{o}n y Lenguajes (PROLE'09)},
  year = {2009},
  pages = {161-176},
  editor = {P.~Lucio and G.~Moreno}
}