Luca Paolini Elaine Pimentel Simona Ronchi Della Rocca An Operational Characterization of Strong Normalization. 367-381 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_25 db/conf/fossacs/fossacs2006.html#PaoliniPR06