@INPROCEEDINGS{CGS-flops10,
  author = {R.~Caballero and Y.~Garc\'{\i}a-Ruiz and F.~S\'{a}enz-P\'{e}rez},
  title = {Applying {C}onstraint {L}ogic {P}rogramming to {SQL} {T}est {C}ase
    {G}eneration},
  booktitle = {Proc. {I}nternational {S}ymposium on {F}unctional and {L}ogic {P}rogramming
    ({FLOPS'10}). },
  series = {LNCS},
   editor = {Blume, Matthias and Kobayashi, Naoki and Vidal, Germ\'an},
   publisher = {Springer Berlin / Heidelberg},
   pages = {191-206},
   volume = {6009},
   year = {2010}
}