@INPROCEEDINGS{anss13a-padl13,
  author = {G.~Aranda and S.~Nieva and F.~S\'{a}enz-P\'{e}rez and J.~S\'{a}nchez-Hern\'andez},
  title={{Formalizing a Broader Recursion Coverage in SQL}},
  booktitle={{Fifteenth International Symposium on Practical Aspects of Declarative Languages (PADL'13)}},
  month={January},
  year={2013},
  note={{In Press}}
  }