1. J. Aisenberg, M.L. Bonet, S. Buss, Quasipolynomial-size Frege proof of Frankl's theorem on the trace of finite sets, J. Symb. Log., forthcoming.
2. Propositional proof complexity: past, present and future;Beame,2001
3. Improved witnessing and local improvement principles for second-order bounded arithmetic;Beckmann;ACM Trans. Comput. Log.,2014
4. Are there hard examples for Frege systems?;Bonet,1995
5. Polynomial size proofs of the propositional pigeonhole principle;Buss;J. Symbolic Logic,1987