@inproceedings {FHS02a, month = {September}, title = "A Functional logic language with finite domains constraints", year = 2002, booktitle = "Proc. of the International Joint Conference on Declarative Programming. APPIA-GULP-PRODE'02, Madrid, Spain", author = "Antonio J. Fern\'{a}ndez and Teresa Hortal\'{a}-Gonz\'{a}lez and Fernando S\'{a}enz-P\'{e}rez" }