Thủy, N. T.; Đức, N. H.; Hưng, N. V. Q. Nâng Cao hiệu Quả Suy diễn tự động Trong bài toán chứng Minh. JCC 2016, 14, 41-49.