THỦY, Nguyễn Thanh; ĐỨC, Nguyễn Hữu; HƯNG, Nguyễn Vũ Quốc. Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 14, n. 4, p. 41–49, 2016. DOI: 10.15625/1813-9663/14/4/7966. Disponível em: https://jcc.vast.vn/jcc/article/view/7966. Acesso em: 4 nov. 2025.