Strategic pattern matching (1999)

by E Visser
Venue:Rewriting Techniques and Applications (RTA’99