@inproceedings{EFS07,
author = {S.~Est\'{e}vez-Mart\'{\i}n and A.~Fern\'{a}ndez and F.~S\'{a}enz-P\'{e}rez},
publisher = {Proceedings of Ciclops'07},
title = {{About Implementing a Constraint Functional Logic Programming System with Solver Cooperation}},
pages = {57-71},
projects = {MERIT,PROMESAS},
butype = {proceedings},
year = {2007}
}