Apinyan, Levon A., and Anahit A. Chubaryan. “On Sizes of Linear and Tree-Like Proofs for Any Formulae Families in Some Systems of Propositional Calculus”. Mathematical Problems of Computer Science 57 (June 1, 2022): 47–55. Accessed November 16, 2024. http://93.187.165.2/index.php/mpcs/article/view/734.