@article{FHSV07,
author = {A.J.~Fern\'{a}ndez and T.~Hortal\'{a}-Gonz\'{a}lez and F.~S\'{a}enz- P\'{e}rez and R.~del Vado-V\'irseda},
journal = {Theory and Practice of Logic Programming},
pages = {537-582},
number = {5},
publisher = {Cambridge University Press},
title = {Constraint {F}unctional {L}ogic {P}rogramming over {F}inite {D}omains},
volume = {7},
doi = {http://dx.doi.org/10.1017/S1471068406002924},
issn = {1471-0684},
year = {2007}
}