Term Rewriting With Traversal Functions (2001)

by M.G.J. van den Brand , P. Klint , J. J. Vinju
Venue:ACM Trans. Softw. Eng. Methodol
Citations:59 - 8 self