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”. Journal of Computer Science and Cybernetics, vol. 12, no. 4, Apr. 2016, p. 78-86, doi:10.15625/1813-9663/12/4/8094.