@incollection{Rod01,
author = {M.~Rodr\'{\i}guez-Artalejo},
booktitle = {Constraints in Computational Logics, Theory and Applications},
editor = {H. Comon, C. March\'{e} and R. Treinen},
pages = {202-270},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Functional and Constraint Logic Programming},
volume = {2002},
projects = {},
butype = {incollection},
year = {2001}
}