Khai thác mẫu tuần tự với ràng buộc dựa trên mẫu đóng và sinh - Dương, Văn Hải (Trường Đại học Đà Lạt, 2021)