R. Caballero, J. Luzon-Martin, and A. Tenorio-Fornes, “Test-Case Generation for SQL Nested Queries with Existential Conditions”, eceasst, vol. 55, May 2013.