First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. - Matthias Baaz; Anela Lolic (FroCoS, 2017)

A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. - Matthias Baaz; Alexander Leitsch; Anela Lolic (LFCS, 2018)

Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. - Matthias Baaz; Anela Lolic (LPAR, 2018)

Note on Globally Sound Analytic Calculi for Quantifier Macros. - Matthias Baaz; Anela Lolic (WoLLIC, 2019)

Extraction of Expansion Trees. - Alexander Leitsch; Anela Lolic (J. Autom. Reason., 2019)

A Globally Sound Analytic Calculus for Henkin Quantifiers. - Matthias Baaz; Anela Lolic (LFCS, 2020)

On the Unification of Term Schemata. - David M. Cerna; Alexander Leitsch; Anela Lolic (UNIF, 2020)

An abstract form of the first epsilon theorem. - Matthias Baaz; Alexander Leitsch; Anela Lolic (J. Log. Comput., 2020)

First-order interpolation derived from propositional interpolation. - Matthias Baaz; Anela Lolic (Theor. Comput. Sci., 2020)

Schematic Refutations of Formula Schemata. - David M. Cerna; Alexander Leitsch; Anela Lolic (J. Autom. Reason., 2021)

Towards a proof theory for Henkin quantifiers. - Matthias Baaz; Anela Lolic (J. Log. Comput., 2021)

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. - Matthias Baaz; Anela Lolic (LFCS, 2022)

Towards a proof theory for quantifier macros. - Matthias Baaz; Anela Lolic (Inf. Comput., 2022)

Effective Skolemization. - Matthias Baaz; Anela Lolic (WoLLIC, 2023)

On Translations of Epsilon Proofs to LK. - Matthias Baaz; Anela Lolic (LPAR, 2024)

Herbrand's Theorem in Inductive Proofs. - Alexander Leitsch; Anela Lolic (LPAR, 2024)

On Proof Schemata and Primitive Recursive Arithmetic. - Alexander Leitsch; Anela Lolic; Stella Mahler (LPAR Complementary Volume, 2024)

Towards an Analysis of Proofs in Arithmetic. - Alexander Leitsch; Anela Lolic; Stella Mahler (LSFA, 2024)

Sequent Calculi for Choice Logics. - Michael Bernreiter; Anela Lolic; Jan Maly 001; Stefan Woltran (J. Autom. Reason., 2024)