A lightweight combination of semantics for non-deterministic functions
Proceedings:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Year of publication: 2008
Pages: 52-61
Type: Conference paper