Negri, Sara and Plato, Jan von. "Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction".
Concepts of Proof in Mathematics, Philosophy, and Computer Science, edited by Dieter Probst and Peter Schuster, Berlin, Boston: De Gruyter, 2016, pp. 269-290.
https://doi.org/10.1515/9781501502620-016Negri, S. & Plato, J. (2016). Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction. In D. Probst & P. Schuster (Ed.),
Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 269-290). Berlin, Boston: De Gruyter.
https://doi.org/10.1515/9781501502620-016Negri, S. and Plato, J. 2016. Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction. In: Probst, D. and Schuster, P. ed.
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter, pp. 269-290.
https://doi.org/10.1515/9781501502620-016Negri, Sara and Plato, Jan von. "Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction" In
Concepts of Proof in Mathematics, Philosophy, and Computer Science edited by Dieter Probst and Peter Schuster, 269-290. Berlin, Boston: De Gruyter, 2016.
https://doi.org/10.1515/9781501502620-016Negri S, Plato J. Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction. In: Probst D, Schuster P (ed.)
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter; 2016. p.269-290.
https://doi.org/10.1515/9781501502620-016