@INPROCEEDINGS{sae18b-prole18,
  author={F. S\'aenz-P\'erez},
  title={{Semantic Analysis of SQL Statements in DES}},
  booktitle={{XVIII Jornadas sobre Programaci\'on y Lenguajes, PROLE2018
(SISTEDES)}},
  address={Sevilla, Spain},
  month={September},
  year={2018}
  }