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