H. A. Tamazyan, “The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems”, MPCS, vol. 59, pp. 27–34, May 2023.