Tamazyan, Hakob A. “The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems”. Mathematical Problems of Computer Science 59 (May 31, 2023): 27–34. Accessed November 16, 2024. http://93.187.165.2/index.php/mpcs/article/view/786.