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 May 21, 2024. http://mpcs.sci.am/index.php/mpcs/article/view/786.