Proof theory sequent calculi and related formalisms - Bimbó, Katalin (CRC Press, 2015)
Includes bibliographical references