@article{Jaime06,
author = {J.~S\'{a}nchez-Hern\'{a}ndez},
journal = {Journal of Universal Computer Science},
number = {11},
pages = {1574-1593},
title = {Constructive Failure in Functional-Logic Programming: from Theory to Implementation},
volume = {12},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2006}
}