Strong normalization for second order classical natural deduction | IEEE Conference Publication | IEEE Xplore