A Cut-Elimination Proof in Intuitionistic Predicate Logic. - Mirjana Borisavljevic (Ann. Pure Appl. Log., 1999)

On permuting cut with contraction. - Mirjana Borisavljevic; Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 2000)

Two measures for proving Gentzen's Hauptsatz without mix. - Mirjana Borisavljevic (Arch. Math. Log., 2003)

Extended Natural Deduction Images of Conversions from the System of Sequents. - Mirjana Borisavljevic (J. Log. Comput., 2004)

A Connection Between Cut Elimination and Normalization. - Mirjana Borisavljevic (Arch. Math. Log., 2006)

Normal Derivations and Sequent Derivations. - Mirjana Borisavljevic (J. Philos. Log., 2008)

An Analysis of the Rules of Gentzen's nJ and LJ. - Mirjana Borisavljevic (Rev. Symb. Log., 2018)

Two Normalizations for Natural Deductions in Sequent Style. - Mirjana Borisavljevic (FLAP, 2019)

The subformula property of natural deduction derivations and analytic cuts. - Mirjana Borisavljevic (Log. J. IGPL, 2021)

Maximum Segments as Natural Deduction Images of Some Cuts. - Mirjana Borisavljevic (Logica Universalis, 2022)

The Elimination of Maximum Cuts in Linear Logic and BCK Logic. - Mirjana Borisavljevic (Stud Logica, 2023)