"Characterising Strongly Normalising Intuitionistic Terms."

José Espírito Santo, Jelena Ivetic, Silvia Likavec (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics