(1)
Nestmann, U. What Is a ‘Good’ Encoding of Guarded Choice?. BRICS 1999, 6.