- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Faculty of Mathematics and Physics
- A LIMITATION ON THE KPT INTERPOLATION2020 | Faculty of Mathematics and Physics
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Faculty of Mathematics and Physics
- PROOF COMPLEXITY2019 | Faculty of Mathematics and Physics
- Proof Systems that Take Advice2011 | Faculty of Mathematics and Physics