Decoding choice encodings. (1996)

by U Nestmann, B C Pierce
Venue:In CONCUR,