Thủy, N. T., Đức, N. H., & 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), 41–49. https://doi.org/10.15625/1813-9663/14/4/7966