@inproceedings{LRSwlp07,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics},
booktitle = {Proc. 21st Workshop on (Constraint) Logic Programming (WLP 2007)},
pages= {206-222},
publisher = {Springer},
series = {LNAI},
volume = {5437},
projects = {MERIT,PROMESAS,STAMP},
butype = {proceedings},
year = {2009}
}