@article{LS03b,
author = {F.J.~L\'{o}pez-Fraguas and J.~S\'{a}nchez-Hern\'{a}ndez},
journal = {Electronic Notes on Theoretical Computer Science},
month = {November},
number = {3},
pages = {21 pages},
title = {Failure and equality in functional logic programming},
volume = {86},
projects = {},
butype = {article},
year = {2003}
}