@inproceedings{FHS03a,
address = {Cambridge, England},
author = {A.J. Fern\'{a}ndez and M.T. Hortal\'{a}-Gonz\'alez and F. S\'{a}enz- P\'{e}rez},
booktitle = {Research and Development in Intelligent Systems XIX},
editor = {M. Bramer, A. Preece and F. Coenen},
pages = {337-350},
publisher = {Springer},
series = {BCS Conference Series},
title = {A {C}onstraint {F}unctional {L}ogic {L}anguage for {S}olving {C}ombinatorial {P}roblems},
year = {2003}
}