@inproceedings{PADL-2013-Aranda-LopezNSS,
	author        = "Gabriel Aranda-López and Susana Nieva and Fernando Sáenz-Pérez and Jaime Sánchez-Hernández",
	booktitle     = "{Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages}",
	doi           = "10.1007/978-3-642-45284-0_7",
	isbn          = "978-3-642-45283-3",
	pages         = "93--108",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Formalizing a Broader Recursion Coverage in SQL}",
	volume        = 7752,
	year          = 2013,
}