@ARTICLE{
author={Dougherty Daniel J,Gilezan Silvia,Lescanne Pierre},
year={2008},
title={Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage},
journal={THEORETICAL COMPUTER SCIENCE},
volume={398},
number={1-3},
pages={114-128},
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},
}