@INPROCEEDINGS{sae19b-prole19,
  author={F. S\'aenz-P\'erez},
  title={{Experiencing Intuitionistic Logic Programming in SQL Puzzles (Work in Progress)}},
  booktitle={{XIX Jornadas sobre Programaci\'on y Lenguajes, PROLE2019 (SISTEDES)}},
  address={C\'aceres, Spain},
  month={September},
  year={2019}
  }