ANH, Duong Tuan. Phép chuyển từ đặc tả ẩn tang thành chương trình logic. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 5, n. 3, p. 24–28, 2018. DOI: 10.15625/1813-9663/5/3/11177. Disponível em: https://jcc.vast.vn/jcc/article/view/11177. Acesso em: 5 nov. 2025.