Is It a "Good" Encoding of Mixed Choice?

Kirstin Peters, Uwe Nestmann

Browse the full FOSSACS paper archive.