Chubaryan, A. A., A. Khamisyan, and G. Petrosyan. “Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems”. Transactions on Engineering and Computing Sciences, vol. 7, no. 1, Mar. 2019, p. 56, doi:10.14738/tmlai.71.6187.