Decoding choice encodings (1996)

by U Nestmann, B C Pierce
Venue:of Lecture Notes in Computer Science