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