Strategic pattern matching (0)

by Eelco Visser
Venue:Rewriting Techniques and Applications (RTA'99), volume 1631 of Lecture