Nghiên cứu các biện pháp biểu diễn tri thức trong lập trình Logic - Nguyễn Thanh, Tú (Đại học Bách khoa Hà Nội, 2018)