U. Nestmann, “What Is a ‘Good’ Encoding of Guarded Choice?”, BRICS, bd. 4, nr. 45, jun. 1997.