@inproceedings{jaime-cl00,
address = {London, UK},
author = {F.J.~L\'{o}pez-Fraguas and J.~S\'{a}nchez-Hern\'{a}ndez},
booktitle = {CL'00: Proceedings of the First International Conference on Computational Logic},
isbn = {3-540-67797-6},
pages = {179--193},
publisher = {Springer-Verlag},
title = {Proving Failure in Functional Logic Programs},
projects = {},
butype = {inproceedings},
year = {2000}
}