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 (Mar. 2016), 41–49. DOI:https://doi.org/10.15625/1813-9663/14/4/7966.