Chubaryan, Anahit Artashes, Artur Khamisyan, and Garik Petrosyan. “Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems”. Transactions on Engineering and Computing Sciences 7, no. 1 (March 8, 2019): 56. Accessed May 6, 2026. https://scholarpublishing.org/journals/index.php/TECS/article/view/2102.