1. ∑\bE;11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
2. Polynomial terse sets;Amir;Inform. and Comput.,1988
3. A random oracle separates PSPACE from Polynomial Hierarchy;Babai;Notes,1986
4. A note on the theorem of Razborov;Barrington;Notes,1987
5. NP-hard sets are p-superterse unless R = NP;Beigel,1988