@ARTICLE{
author={Santo Jose Espirito,Ghilezan Silvia},
year={2017},
title={Characterization of strong normalizability for a sequent lambda calculus with co-control},
journal={PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017)},
volume={},
number={},
pages={163-174},
document_type={Proceedings Paper},
} 

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