@inproceedings{LRSwlpe08,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {A Lightweight Combination of Semantics for Non-deterministic Functions},
booktitle = {Proc. 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)},
pages= {},
publisher = {},
series = {},
volume = {},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2008}
}