@inproceedings{LRS07ppdp,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {A simple rewrite notion for call-time choice semantics},
booktitle = {Principles and Practice of Declarative Programming (PPDP 2007)},
pages = {197-208},
ee = {http://doi.acm.org/10.1145/1273920.1273947},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2007}
}