Đỗ H. Anh and H. Kiếm, “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., vol. 7, no. 3, p. 7–13, Nov. 2016.