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