Term Rewriting Papers

Combinatory Reduction Systems

• authors: Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
• url: https://core.ac.uk/download/pdf/82018757.pdf
• date: 1993
• topics: Term Rewriting, Name Binding

.

Matching Power

• authors: Horatiu Cirstea, Claude Kirchner, and Luigi Liquor
• url: https://web.archive.org/web/20161022182015/http://rho.loria.fr/data/rta2001.pdf
• date: 2001
• topics: Term Rewriting, Name Binding

.

The Rho Cube

• authors: Horatiu Cirstea, Claude Kirchner, Luigi Liquori
• url: https://link.springer.com/content/pdf/10.1007/3-540-45315-6_11.pdf
• date: 2001
• topics: Term Rewriting, Name Binding, Type Theory

.

A Constructive Semantics for Rewriting Logic

• authors: Michael N. Kaplan
• date: 2014
• url: https://digitalcommons.uri.edu/oa_diss/268/
• topics: Term Rewriting, Logic, Coq

PhD thesis. Has a few good things in it.

Rewriting Logic as a Logical and Semantic Framework

• authors: Narciso Martí-Oliet, José Meseguer
• date: 1993
• online @ maude.cs.uiuc.edu

.