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 dec. 2024.