@article{DiosLopez07,
author = {J.~Dios-Castro and F.J.~L\'{o}pez-Fraguas},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {3-19},
publisher = {},
title = {Extra Variables can be Eliminated from Functional Logic Programs},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}