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”, JCC, vol. 12, no. 4, p. 78–86, Apr. 2016.