Bernreiter, M., Lolic, A., Maly, J., & Woltran, S. (2024). Sequent Calculi for Choice Logics. Journal of Automated Reasoning, 68(2), Article 8. https://doi.org/10.1007/s10817-024-09695-5 ( reposiTUm)

Leitsch, A., & Lolic, A. (2024). Herbrand’s Theorem in Inductive Proofs. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 295–310). EasyChair. https://doi.org/10.29007/dwdf ( reposiTUm)

Baaz, M., & Lolic, A. (2024). On Translations of Epsilon Proofs to LK. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 232–245). https://doi.org/10.29007/9pts ( reposiTUm)

Leitsch, A., Lolić, A., & Mahler, S. (2024). Towards an Analysis of Proofs in Arithmetic. In C. Kop (Ed.), 19th International Workshop on Logical and Semantic Frameworks, with Applications. LSFA 2024 Proceedings (pp. 122–135). ( reposiTUm)

Lolić, A. (2024). Interpolation Properties of Proofs with Cuts. In 13th International Conference Logic and Applications LAP 2024 : Book of Abstracts (pp. 31–33). ( reposiTUm)

Leitsch, A., Lolic, A., & Mahler, S. L. (2024). On Proof Schemata and Primitive Recursive Arithmetic. In N. Bjorner, M. Heule, & A. Voronkov (Eds.), LPAR 2024 Complementary Volume (pp. 117–130). https://doi.org/10.29007/4g2q ( reposiTUm)

Lolic, A. (2024, August 23). Epsilon Calculus and LK [Conference Presentation]. Dagstuhl-Seminar:  Proof Representations: From Theory to Applications 2024, Dagstuhl, Germany. http://hdl.handle.net/20.500.12708/206166 ( reposiTUm)