@INPROCEEDINGS{sae16b-prole16,
  author={F. S\'aenz-P\'erez},
  title={{Formal Relational Languages in a Deductive Setting}},
  booktitle={{XVI Jornadas sobre Programaci\'on y Lenguajes, PROLE2016
(SISTEDES)}},
  address={Salamanca, Spain},
  month={September},
  year={2016}
  }