Daftar bacaan tentang sistem penulisan ulang?

Saya baru mempelajari sistem penulisan ulang sebagai mahasiswa PhD tahun pertama. Saya ingin mengusulkan kursus topik khusus tentang teori penulisan ulang, dan saya ingin memastikan saya tidak meninggalkan sumber asli.

Saya memiliki salinan Barendregt dan Terese sebagai sumber buku pelajaran. Untuk makalah orisinal: Saya telah melihat karya Dershowitz tentang pembuktian terminasi, makalah Huet tentang pertemuan, makalah Van Oostrom tentang penurunan diagram, dan makalah Ohlebusch tentang pertemuan ekuivalensi modulo, dan karya Toyama tentang modularitas. Saya berharap untuk berakhir dengan segelintir makalah berpengaruh klasik dan baru-baru ini. Juga, jika ada yang bisa merekomendasikan beberapa makalah yang bagus tentang hubungan antara topologi aljabar, teori kategori, dan teori penulisan ulang, saya akan menghargai itu juga.

Saya tidak memiliki rekomendasi khusus untuk daftar bacaan Anda, tetapi saya ingin mengingatkan Anda untuk survei yang sangat baik tentang "Sistem Menulis Ulang" oleh Dershowitz dan Jouannaud dalam Buku Pegangan Ilmu Komputer Teoritis, volume B.