Sara Negri Jan von Plato Sequent Calculus in Natural Deduction Style. 1803-1816 2001 66 J. Symb. Log. 4 db/journals/jsyml/jsyml66.html#NegriP01