@inproceedings{LMR05,
author = {F.J.~L\'{o}pez-Fraguas and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-Virseda},
booktitle = {Proc. 5th International Workshop on Rewriting Logic and its Applications (WRLA'2004)},
pages = {5--50},
publisher = {Electronic Notes in Computer Science},
title = {Constraint {F}unctional {L}ogic {P}rogramming {R}evisited},
volume = {117},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2005}
}