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**, *[S. l.]*, v. 59, p. 27–34, 2023. DOI: 10.51408/1963-0099. Disponível em: http://mpcs.sci.am/index.php/mpcs/article/view/786. Acesso em: 21 may. 2024.