Anh, D. T. (2018). Phép chuyển từ đặc tả ẩn tang thành chương trình logic. Journal of Computer Science and Cybernetics, 5(3), 24–28. https://doi.org/10.15625/1813-9663/5/3/11177