CHUBARYAN, A. A.; KHAMISYAN, A.; PETROSYAN, G. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. Transactions on Engineering and Computing Sciences, [S. l.], v. 7, n. 1, p. 56, 2019. DOI: 10.14738/tmlai.71.6187. Disponível em: http://116.203.177.230/index.php/TMLAI/article/view/6187. Acesso em: 23 nov. 2024.