@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2014},
title={Detection and analysis of some redundancies in linear logic sequent proofs},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={24},
number={1},
pages={187-232},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2013},
title={A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={10},
number={3},
pages={1185-1210},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2006},
title={Detecting loops during proof search in propositional affine logic},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={16},
number={1},
pages={61-133},
document_type={Article},
} 

@ARTICLE{
author={Lutovac Tatjana A,Harland J},
year={2005},
title={A redundancy analysis of sequent proofs},
journal={AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS},
volume={3702},
number={},
pages={185-200},
document_type={Article},
}