Expression reduction systems with patterns (2003)

by Julien Forest, Delia Kesner
Venue:14th International Conference on Rewriting Techniques and Applications (RTA), volume 2706 of Lecture Notes in Computer Science