The Isomorphism Between Expansion Proofs and Multi-Focused Sequent Proofs