Left-to-right tree pattern matching (1991)

by A Gräf
Venue:In RTA ’91: Rewriting Techniques and Applications