Lê Mạnh Thạnh. Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog.
Trích dẫn kiểu ChicagoLê Mạnh Thạnh. Phương Pháp Xếp Tầng Trong Việc Xác định Ngữ Nghĩa Của Các Chương Trình Datalog.
Trích dẫn MLALê Mạnh Thạnh. Phương Pháp Xếp Tầng Trong Việc Xác định Ngữ Nghĩa Của Các Chương Trình Datalog.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.