Tôi mới học các hệ thống viết lại khi là nghiên cứu sinh năm thứ nhất. Tôi muốn đề xuất một khóa học chủ đề đặc biệt về lý thuyết viết lại, và tôi muốn chắc chắn rằng tôi không bỏ sót bất kỳ nguồn gốc nào.
Tôi có một bản sao của Barendregt và Terese dưới dạng nguồn sách giáo khoa. Đối với bài báo gốc: Tôi đã xem xét công việc của Dershowitz về việc chứng minh chấm dứt, bài viết của Huet về hợp lưu, bài viết của Van Oostrom về sơ đồ giảm dần, và bài báo của Ohlebusch về tính tương đương của hợp lưu. Tôi hy vọng sẽ kết thúc với một ít các bài báo có ảnh hưởng cổ điển và gần đây. Ngoài ra, nếu bất cứ ai có thể đề xuất một số bài báo hay về các liên kết giữa cấu trúc liên kết đại số, lý thuyết thể loại và lý thuyết viết lại, tôi cũng sẽ đánh giá cao điều đó.