| 2025 | ICTAC | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction. | Simon Corbard, Anela Lolic |
| 2024 | LPAR | On Translations of Epsilon Proofs to LK. | Matthias Baaz, Anela Lolic |
| 2024 | LPAR | Herbrand's Theorem in Inductive Proofs. | Alexander Leitsch, Anela Lolic |
| 2024 | LPAR | On Proof Schemata and Primitive Recursive Arithmetic. | Alexander Leitsch, Anela Lolic, Stella Mahler |
| 2023 | WoLLIC | Effective Skolemization. | Matthias Baaz, Anela Lolic |
| 2022 | CADE | Sequent Calculi for Choice Logics. | Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran |
| 2022 | LFCS | Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. | Matthias Baaz, Anela Lolic |
| 2020 | LFCS | A Globally Sound Analytic Calculus for Henkin Quantifiers. | Matthias Baaz, Anela Lolic |
| 2019 | WoLLIC | Note on Globally Sound Analytic Calculi for Quantifier Macros. | Matthias Baaz, Anela Lolic |
| 2018 | LFCS | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. | Matthias Baaz, Alexander Leitsch, Anela Lolic |
| 2018 | LPAR | Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gdel Logic. | Matthias Baaz, Anela Lolic |