N. T. Thủy, N. H. Đức, and N. V. Q. Hưng, “Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh”, JCC, vol. 14, no. 4, p. 41–49, Mar. 2016.