@inproceedings{CRV06,
author = {R.~Caballero and M.~Rodr\'{\i}guez-Artalejo and R.~del Vado-V\' {\i}rseda},
booktitle = {Proc. 22nd International Conference on Logic Programming (ICLP 2006)},
pages = {421--422},
publisher = {Springer},
series = {LNCS},
title = {Declarative {D}iagnosis of {W}rong {A}nswers in {C}onstraint {F}unctional-{L}ogic {P}rogramming},
volume = {4079},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2006}
}