@inproceedings{EFS07,
author = {{Est\'evez-Mart\'in}, S. and A. J. Fern{\'a}ndez and {S\'aenz-P\'erez}, F.},
publisher = {Proceedings of Ciclops'07},
title = {{About Implementing a Constraint Functional Logic Programming System with Solver Cooperation}},
year = {2007}
}