Tamazyan, H.A. 2023. The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems. Mathematical Problems of Computer Science. 59, (May 2023), 27–34. DOI:https://doi.org/10.51408/1963-0099.