Nestmann, U. (1999). What is a ‘Good’ Encoding of Guarded Choice?. BRICS Report Series, 6(43). https://doi.org/10.7146/brics.v6i43.20113