(1)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. <i>J. Comput. Sci. Cybern.</i> <b>2016</b>, <i>14</i>, 41-49.