A lightweight combination of semantics for non-deterministic functions
Aktak:
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
Argitalpen urtea: 2008
Orrialdeak: 52-61
Mota: Biltzar ekarpena