Đỗ 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”, JCC, vol. 7, no. 3, p. 7–13, Nov. 2016.