Chubaryan, Anahit Artashes, Artur Khamisyan, and Garik Petrosyan. 2019. “Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems”. Transactions on Engineering and Computing Sciences 7 (1):56. https://doi.org/10.14738/tmlai.71.6187.