Arndt, Michael and
Tranchini, Luca. 2014.
“Emptiness and Discharge in Sequent Calculus and Natural Deduction.” in
Recent Trends in Philosophical Logic, edited by Roberto
Ciuni, Heinrich Theodor
Wansing, and Caroline
Willkommen, pp. 13–30.
Trends in Logic n. 41. New York: Springer.