Thủy, N.T. 2016. Thiết kế các ngôn ngữ mô tả và xây dựng cơ sở tri thức cho các phần mềm trợ giúp giải bài toán hình học. Journal of Computer Science and Cybernetics. 12, 2 (Apr. 2016), 30–40. DOI:https://doi.org/10.15625/1813-9663/12/2/8075.