Strategic pattern matching, in: Rewriting Techniques and Applications (RTA’99 (1999)

by E Visser
Venue:Lecture Notes in Computer Science