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