@inproceedings{1085102,
 author = {Rafael Caballero},
 title = {A declarative debugger of incorrect answers for constraint functional-logic programs},
 booktitle = {WCFLP '05: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming},
 year = {2005},
 isbn = {1-59593-069-8},
 pages = {8--13},
 location = {Tallinn, Estonia},
 doi = {http://doi.acm.org/10.1145/1085099.1085102},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }