@inproceedings{FHS03b,
address = {New Orleans, Louisiana, USA},
author = {A.J. Fern\'{a}ndez and M.T. Hortal\'{a}-Gonz\'{a}lez and F. S\' {a}enz-P\'{e}rez},
booktitle = {5th International Symposium on Practical Aspects of Declarative Languages (PADL'2003)},
editor = {P. Wadler and V. Dahl},
note = {},
number = {2562},
pages = {320-338},
publisher = {Springer},
series = {LNCS},
title = {Solving {C}ombinatorial {P}roblems with a {C}onstraint {F}unctional {L}ogic {L}anguage},
year = {2003}
}