@ARTICLE{
author={Santo Jose Espirito,Ivetic Jelena B,Likavec Silvia J},
year={2012},
title={Characterising Strongly Normalising Intuitionistic Terms},
journal={FUNDAMENTA INFORMATICAE},
volume={121},
number={1-4},
pages={83-120},
document_type={Article},
} 

@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre,Likavec Silvia J},
year={2005},
title={Strong normalization of the dual classical sequent calculus},
journal={LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS},
volume={3835},
number={},
pages={169-183},
document_type={Article},
} 

@ARTICLE{
author={Dezani-Ciancaglini Mariangiola,Gilezan Silvia,Likavec Silvia J},
year={2004},
title={Behavioural inverse limit lambda-models},
journal={THEORETICAL COMPUTER SCIENCE},
volume={316},
number={1-3},
pages={49-74},
document_type={Article},
}