@inproceedings{LS02flops,
author = {F.J.~L\'{o}pez-Fraguas and J.~S\'{a}nchez Hern\'{a}ndez},
booktitle = {Proc. 6th International Symposium on Functional and Logic Programming (FLOPS'02)},
pages = {212--227},
publisher = {Springer},
series = {LNCS},
title = {Narrowing failure in functional logic programming},
volume = {2441},
projects = {},
butype = {inproceedings},
year = {2002}
}