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 (Nov. 2016), 7–13. DOI:https://doi.org/10.15625/1813-9663/7/3/8900.