Tamazyan, H. A. The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems. MPCS 2023, 59, 27-34.