@article{ClevaLopez07,
author = {J.M.~Cleva and F.J.~L\'{o}pez-Fraguas},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {3-15},
publisher = {},
title = {Semantic determinism and functional logic program properties},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}