Left-to-right tree pattern matching (1991)

by Albert Gräf
Venue:In Proceedings of the 4th international conference on Rewriting Techniques and Applications, volume 488 of LNCS