@inproceedings{fernandez+:solving-combin-cflpfd-padl03,
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},
projects = {},
butype = {inproceedings},
year = {2003}
}