@InProceedings{Sae17a,
author="S{\'a}enz-P{\'e}rez, Fernando",
editor="Hermenegildo, Manuel V. and Lopez-Garcia, Pedro",
title="Intuitionistic Logic Programming for SQL",
booktitle="Logic-Based Program Synthesis and Transformation",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="293--308",
isbn="978-3-319-63139-4"
}