[1]N. T. Thủy, “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>, vol. 12, no. 4, p. 78–86, Apr. 2016.