Chubaryan, A. A., Khamisyan, A., & Petrosyan, G. (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