@article{LRSentcs06,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
journal = {Electronic Notes in Theoretical Computer Science 188},
pages = {117-142},
publisher = {},
title = {Equivalence of two formal semantics for functional logic programs},
projects = {},
butype = {article},
year = {2007}
}