Thủy, N. T., 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”. Journal of Computer Science and Cybernetics, vol. 14, no. 4, Mar. 2016, p. 41-49, doi:10.15625/1813-9663/14/4/7966.