Some consequences of cryptographic conjectures for S12 and EF (1995)

by K Krajı́ček, P Pudlák
Venue:Logic and Computational Complexity: international workshop, LCC ’94, volume 960 of Lecture Notes in Computer Science