Sara Negri, Jan von Plato. Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic, 66(4):1803-1816, 2001.
@article{NegriP01,
title = {Sequent Calculus in Natural Deduction Style},
author = {Sara Negri and Jan von Plato},
year = {2001},
researchr = {https://researchr.org/publication/NegriP01},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {66},
number = {4},
pages = {1803-1816},
}