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, [S. l.], v. 5, n. 3, p. 24–28, 2018. DOI: 10.15625/1813-9663/5/3/11177. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/11177. Acesso em: 2 may. 2024.