Thủy NT, Đức NH, Hưng NVQ. Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh. JCC [Internet]. 2016 Mar. 29 [cited 2024 Nov. 23];14(4):41-9. Available from: https://vjs.ac.vn/index.php/jcc/article/view/7966