Thủy, N. T. (2016) “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, 12(4), p. 78–86. doi: 10.15625/1813-9663/12/4/8094.