(1)Thủy, N. T. Các kỹ thuật trợ Giúp chứng Minh bài toán hình học: Cách tiếp cận Trí tuệ nhân tạo. <i>J. Comput. Sci. Cybern.</i> <b>2016</b>, <i>12</i>, 78-86.