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. J. Comput. Sci. Cybern. 2016, 7, 7-13.