Tamazyan HA. The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems. MPCS [Internet]. 2023May31 [cited 2025Apr.3];59:27-34. Available from: https://mpcs.sci.am/index.php/mpcs/article/view/786