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), 78–86. https://doi.org/10.15625/1813-9663/12/4/8094