Định lý chia Hironaka - Nguyễn, Đình Thành (Trường Đại học Đà Lạt, 2010)