Leseliste zum Umschreiben von Systemen?

Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse.

Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für Originalarbeiten: Ich habe mir Dershowitz 'Arbeit zum Nachweis der Terminierung, Huets Arbeit zum Zusammenfluss, Van Oostroms Arbeit zur Verringerung von Diagrammen und Ohlebuschs Arbeit zur Konfluenz-Modulo-Äquivalenz sowie Toyamas Arbeit zur Modularität angesehen. Ich hoffe, am Ende ein paar klassische und aktuelle einflussreiche Artikel zu haben. Wenn jemand gute Artikel über die Zusammenhänge zwischen algebraischer Topologie, Kategorietheorie und Umschreibungstheorie empfehlen kann, würde ich das ebenfalls begrüßen.

Ich habe keine spezifische Empfehlung für Ihre Leseliste, aber ich möchte Sie auf die ausgezeichnete Umfrage zu "Rewrite Systems" von Dershowitz und Jouannaud im Handbuch für Theoretische Informatik, Band B aufmerksam machen.