Lutovac Tatjana A,Harland J (2014) Detection and analysis of some redundancies in linear logic sequent proofs, JOURNAL OF LOGIC AND COMPUTATION, vol. 24, br. 1, str. 187-232 (Article) 

Lutovac Tatjana A,Harland J (2013) A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules, COMPUTER SCIENCE AND INFORMATION SYSTEMS, vol. 10, br. 3, str. 1185-1210 (Article) 

Lutovac Tatjana A,Harland J (2006) Detecting loops during proof search in propositional affine logic, JOURNAL OF LOGIC AND COMPUTATION, vol. 16, br. 1, str. 61-133 (Article) 

Lutovac Tatjana A,Harland J (2005) A redundancy analysis of sequent proofs, AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, vol. 3702, br. , str. 185-200 (Article)