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 April 9, 2025. http://116.203.177.230/index.php/TMLAI/article/view/6187.