Nestmann, U. and Pierce, B.C. 1999. Decoding Choice Encodings. BRICS Report Series. 6, 42 (Dec. 1999). DOI:https://doi.org/10.7146/brics.v6i42.20112.