@inproceedings{crv07,
author = {R.~Caballero and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-V\'{\i}rseda},
booktitle = {23rd International Conference on Logic Programming (ICLP 2007)},
month = {September},
publisher = {Springer-Verlag},
series = {LNCS},
pages = {425-427},
title = {Declarative Debugging of Missing Answers in Constraint Functional- Logic Programming},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2007}
}