Anh, Đỗ H.; Kiếm, H. 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. JCC 2016, 7, 7-13.