@inproceedings{RCflops01,
address = {London, UK},
author = {R.~Caballero and F.J.~L\'{o}pez-Fraguas and M.~Rodr\'{\i}guez-Artalejo},
booktitle = {FLOPS '01: Proceedings of the 5th International Symposium on Functional and Logic Programming},
isbn = {3-540-41739-7},
pages = {170--184},
publisher = {Springer-Verlag},
title = {Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs},
projects = {},
butype = {inproceedings},
year = {2001}
}