1. On the proof complexity of logics of bounded branching;Annals of Pure and Applied Logic;2023-01
2. Proof Complexity of Modal Resolution;Journal of Automated Reasoning;2021-10-13
3. Proof complexity of substructural logics;Annals of Pure and Applied Logic;2021-07
4. Rules with parameters in modal logic II;Annals of Pure and Applied Logic;2020-12
5. Expander construction in VNC1;Annals of Pure and Applied Logic;2020-07