Satoshi Ikeda Koji Nakazawa Strong normalization proofs by CPS-translations. 163-170 2006 99 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/j.ipl.2006.03.009 db/journals/ipl/ipl99.html#IkedaN06