Beyersdorff, O., Blinkhorn, J., Mahajan, M., & Peitl, T. (2023). Hardness Characterisations and Size-width Lower Bounds for QBF Resolution. ACM Transactions on Computational Logic, 24(2), Article 10. https://doi.org/10.34726/3603 ( reposiTUm)

Beyersdorff, O., Blinkhorn, J., Mahajan, M., Peitl, T., & Sood, G. (2023). Hard QBFs for merge resolution. ACM Transactions on Computation Theory. https://doi.org/10.1145/3638263 ( reposiTUm)