@inproceedings{wlp2007,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
booktitle = {Proc. Workshop on Logic Programming (WLP'07), Tech. Rep. 434 Univ. Wurzburg},
pages = {224-233},
title = {Narrowing for non-determinism with call-time choice semantics},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2007}
}