Jan von Plato. A Sequent Calculus isomorphic to Gentzen's Natural Deduction. Rew. Symb. Logic, 4(1):43-53, 2011. [doi]
@article{Plato11, title = {A Sequent Calculus isomorphic to Gentzen's Natural Deduction}, author = {Jan von Plato}, year = {2011}, doi = {10.1017/S1755020310000195}, url = {http://dx.doi.org/10.1017/S1755020310000195}, researchr = {https://researchr.org/publication/Plato11}, cites = {0}, citedby = {0}, journal = {Rew. Symb. Logic}, volume = {4}, number = {1}, pages = {43-53}, }