Hajime Ishihara. A Note on the Gödel-Gentzen Translation. Math. Log. Q., 46(1):135-137, 2000. [doi]
@article{Ishihara00:0, title = {A Note on the Gödel-Gentzen Translation}, author = {Hajime Ishihara}, year = {2000}, doi = {10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R}, url = {http://dx.doi.org/10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R}, tags = {translation}, researchr = {https://researchr.org/publication/Ishihara00%3A0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {46}, number = {1}, pages = {135-137}, }