[1]Thủy, N.T. et al. 2016. Nâng cao hiệu quả suy diễn tự động trong bài toán chứng minh. <i>Journal of Computer Science and Cybernetics</i>. 14, 4 (Mar. 2016), 41–49. DOI:https://doi.org/10.15625/1813-9663/14/4/7966.