Thủy, N. T., Đức, N. H. and Hưng, N. V. Q. (2016) “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, 14(4), p. 41–49. doi: 10.15625/1813-9663/14/4/7966.