@INPROCEEDINGS{Sae10a,
  author = {F.~S\'aenz-P\'erez},
  title = {DES: A Deductive Database System},
  booktitle = {Actas de las X Jornadas sobre Programacin y Lenguajes, PROLE2010
    (SISTEDES)},
  year = {2010},
  editor = {J.~Silva V.M.~Gul\'{\i}as and A.~Villanueva},
  pages = {177-188}
}