Some consequences of cryptographical conjectures for S1 2 and EF (1998)

by J Krajíček, P Pudlák
Venue:Information and Computation