[1]
U. Nestmann and B. Pierce, “Decoding Choice Encodings”, BRICS, vol. 6, no. 42, Dec. 1999.