(1)
Nestmann, U.; Pierce, B. Decoding Choice Encodings. BRICS 1999, 6.