@inproceedings{LRSflops08,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {Rewriting and Call-time choice: the {HO} case},
booktitle = {Proc. 9th International Symposium on Functional and Logic Programming (FLOPS'08)},
pages= {147-162},
publisher = {Springer},
series = {LNCS},
volume = {4989},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}