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 December 24, 2024. https://journals.scholarpublishing.org/index.php/TMLAI/article/view/6187.