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 November 23, 2024. http://116.203.177.230/index.php/TMLAI/article/view/6187.