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. JCC 2016, 12, 78-86.