Proof Theory: Sequent Calculi and Related Formalisms