Weak Reduction and Garbage Collection in Interaction Nets Jorge Sousa Pinto
Simulating Liveness by Reduction Strategies Jürgen Giesl and Hans Zantema
Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs Masahiko Sakai and Kouji Okamoto and Toshiki Sakabe
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus Stéphane Lengrand
A Rewriting Strategy for Protocol Verification (Extended Abstract) Monica Nesi and G. Rucci and M. Verdesca
Call-by-Need Reductions for Membership Conditional Term Rewriting Systems Mizuhito Ogawa
An Abstract Concept of Optimal Implementation Zurab Khasidashvili and John Glauert