Tamazyan, H. A. “The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems”. Mathematical Problems of Computer Science, vol. 59, May 2023, pp. 27-34, doi:10.51408/1963-0099.