Anh, D. T. “Phép chuyển từ đặc Tả ẩn Tang thành chương trình Logic”. Journal of Computer Science and Cybernetics, vol. 5, no. 3, Feb. 2018, p. 24-28, doi:10.15625/1813-9663/5/3/11177.