Jan Krajícek Pavel Pudlák Some Consequences of Cryptographical Conjectures for S_2^1 and EF. 210-220 1994 conf/lcc/1994 LCC db/conf/lcc/lcc94.html#KrajicekP94