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