@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},
}