@article{RS08,
author = {J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {Functions and Lazy Evaluation in Prolog},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {153--174},
volume = {206},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2008}
}