Anh, Đỗ H. and Kiếm, H. (2016) “Một cách giải bài toán dựa trên mạng ngữ nghĩa các công thức”, Journal of Computer Science and Cybernetics, 7(3), p. 7–13. doi: 10.15625/1813-9663/7/3/8900.