Nestmann, U.; Pierce, B. C. Decoding Choice Encodings. BRICS 1999, 6.