@INPROCEEDINGS{sae16a-lopstr16,
  author={F. S\'aenz-P\'erez},
  title={{Intuitionistic Logic Programming for SQL. Extended Abstract}},
  booktitle={{LOPSTR'2016}},
  address={Edimburgh, Scotland},
  month={September},
  year={2016}
  }