Chubaryan, Anahit A. “Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems”. Mathematical Problems of Computer Science 58 (December 1, 2022): 61–66. Accessed November 16, 2024. http://93.187.165.2/index.php/mpcs/article/view/758.