@article{LRV07,
author = {F.J.~L\'{o}pez-Fraguas and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-V\'{\i}rseda},
journal = {Higher-Order and Symbolic Computation},
number = {1-2},
pages = {73-122},
title = {A new generic scheme for functional logic programming with constraints},
volume = {20},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}