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.