(1)Anh, D. T. Phép chuyển từ đặc Tả ẩn Tang thành chương trình Logic. J. Comput. Sci. Cybern. 2018, 5, 24-28.