@inproceedings{conf/wcflp/Caballero05,
title = {A declarative debugger of incorrect answers for constraint functional-logic programs.},
author = {Rafael Caballero},
booktitle = {WCFLP},
crossref = {conf/wcflp/2005},
editor = {Sergio Antoy and Michael Hanus},
pages = {8-13},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/wcflp/wcflp2005.html#Caballero05},
year = {2005},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1085099.1085102}, isbn = {1-59593-069-8}, date = {2007-11-09},
keywords = {dblp }
}
::