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