Decoding Choice Encodings (1999)

by Uwe Nestmann , Benjamin C. Pierce
Citations:96 - 5 self