Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. - James Harland; Tatjana Lutovac; Michael Winikoff (Computational Logic, 2000)

Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. - Tatjana Lutovac; James Harland (STRATEGIES@IJCAR, 2004)

A Redundancy Analysis of Sequent Proofs. - Tatjana Lutovac; James Harland (TABLEAUX, 2005)

Detecting Loops During Proof Search in Propositional Affine Logic. - Tatjana Lutovac; James Harland (J. Log. Comput., 2006)

An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus. - Tatjana Lutovac (BCI, 2012)

A contribution to automated-oriented reasoning about permutability of sequent calculi rules. - Tatjana Lutovac; James Harland (Comput. Sci. Inf. Syst., 2013)

Detection and analysis of some redundancies in linear logic sequent proofs. - Tatjana Lutovac; James Harland (J. Log. Comput., 2014)

The natural algorithmic approach of mixed trigonometric-polynomial problems. - Tatjana Lutovac; Branko Malesevic; Cristinel Mortici (CoRR, 2017)