Left-to-Right Tree (1991)

by A Graf
Venue:Pattern Matching, Rewriting Techniques and Application