@inproceedings{crvflops08,
author = {R.~Caballero and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-V\'{\i}rseda},
title = {{Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming}},
booktitle = {Proc. 9th International Symposium on Functional and Logic Prrogramming (FLOPS'08)},
publisher = {Springer Verlag},
series = {LNCS},
volume = {4989},
pages = {305-321},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}