@inproceedings{flops04,
author = {R.~Caballero and M.~Rodr\'{\i}guez-Artalejo},
booktitle = {Proc. 7th International Symposium on Functional and Logic Programming (FLOPS'04)},
pages = {70--84},
publisher = {Springer},
series = {LNCS},
title = {{DDT}: {A} {D}eclarative {D}ebugging {T}ool for {F}unctional-{L}ogic {L}anguages},
volume = {2998},
projects = {},
butype = {inproceedings},
year = {2004}
}