@inproceedings{Jaime05,
author = {J.~S\'{a}nchez-Hern\'{a}ndez},
booktitle = {Actas V Jornadas sobre Programaci\'{o}n y Lenguajes, PROLE 2005},
editor = {Francisco L\'{o}pez-Fraguas},
pages = {127--138},
publisher = {Thomson},
title = {Implementing {C}onstructive {F}ailure in {F}unctional-{L}ogic programming},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2005}
}