- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Matematicko-fyzikální fakulta
- A LIMITATION ON THE KPT INTERPOLATION2020 | Matematicko-fyzikální fakulta
- On Proof Complexity of Resolution over Polynomial Calculus2022 | Matematicko-fyzikální fakulta
- PROOF COMPLEXITY2019 | Matematicko-fyzikální fakulta
- Proof Systems that Take Advice2011 | Matematicko-fyzikální fakulta