@article{LS04,
author = {F.J.~L\'{o}pez-Fraguas and J.~S\'{a}nchez-Hern\'{a}ndez},
journal = {Theory and Practice of Logic Programming},
number = {1\& 2},
pages = {41-74},
publisher = {Cambridge University Press},
title = {A proof theoretic approach to failure in functional logic programming},
volume = {4},
projects = {},
butype = {article},
year = {2004}
}