Thủy, Nguyễn Thanh. 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.