D. T. Anh, “Phép chuyển từ đặc tả ẩn tang thành chương trình logic”, JCC, vol. 5, no. 3, p. 24–28, Feb. 2018.