(1)
Tamazyan, H. A. The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems.
MPCS
2023
,
59
, 27-34.