Trang bị cơ chế suy diễn cho lập trình ký hiệu và ứng dụng trong giải toán - Nguyễn, Đình Thúc (Trường Đại học Khoa học Tự nhiên - ĐHQG TP.HCM, 2011)