Expression Reduction Systems with Patterns (2003)

by J Forest, D Kesner
Venue:RTA 2003, LNCS 2706