Giáo, Đỗ. " Tính phi mâu thuẫn và tính đầy đủ của hệ thống các tiên đề của lớp cây thông tin tam nguyên chiều" VNU Journal of Science: Natural Sciences and Technology [Online], Volume 1 Number 2 (15 June 1986)