Logic mô tả và ứng dụng trong cơ sở dữ liệu - Đặng Văn, Huệ (Đại học Bách khoa Hà Nội, 2018)