U. Nestmann, “What is a ‘Good’ Encoding of Guarded Choice?”, BRICS, bd. 6, nr. 43, dec. 1999.