[1]D. T. Anh, “Phép chuyển từ đặc tả ẩn tang thành chương trình logic”, <i>J. Comput. Sci. Cybern.</i>, vol. 5, no. 3, p. 24–28, Feb. 2018.