U. Nestmann, “What Is a ‘Good’ Encoding of Guarded Choice?”, BRICS, vol. 4, no. 45, Jun. 1997.