1. Expander construction in VNC1;Annals of Pure and Applied Logic;2020-07
2. Index;Proof Complexity;2019-03-28
3. Bibliography;Proof Complexity;2019-03-28
4. The Nature of Proof Complexity;Proof Complexity;2019-03-28
5. Optimality;Proof Complexity;2019-03-28