THỦY, N. T.; ĐỨC, N. H.; HƯNG, N. V. Q. Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh. Journal of Computer Science and Cybernetics, [S. l.], v. 14, n. 4, p. 41–49, 2016. DOI: 10.15625/1813-9663/14/4/7966. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/7966. Acesso em: 19 may. 2024.