Tautologies from pseudo-random generators (2001)

by J Krajicek
Venue:Bulletin of Symbolic Logic