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, 27–34. https://doi.org/10.51408/1963-0099