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.