Grigori Mints: Existential Instantiation and Strong Normalization. LFCS 1997: 258-265