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: https://journals.scholarpublishing.org/index.php/TMLAI/article/view/6187. Acesso em: 20 apr. 2024.