DES: A Deductive Database System

Fernando Sáenz-Pérez. DES: A Deductive Database System. Electronic Notes in Theoretical Computer Science, 271:63-78, 2011. [doi]

@article{Saenz-Perez11,
  title = {DES: A Deductive Database System},
  author = {Fernando Sáenz-Pérez},
  year = {2011},
  doi = {10.1016/j.entcs.2011.02.011},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.02.011},
  tags = {database},
  researchr = {https://researchr.org/publication/Saenz-Perez11},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {271},
  pages = {63-78},
}