[1]
U. Nestmann, “What is a ‘Good’ Encoding of Guarded Choice?”, BRICS, vol. 6, no. 43, Dec. 1999.