José Espírito Santo, Silvia Ghilezan, Jelena Ivetic: Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES 2007: 85-99