Strategic Pattern Matching (1999)

by E Visser
Venue:In: Rewriting Techniques and Applications (RTA ’99), Trento, Lecture Notes in Computer Science