van den Brand, M. G. J., Klint, P., & Vinju, J. J. (2002). Term Rewriting with Type-safe Traversal Functions. In B. Gramlich, & S. Lucas (Eds.), Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002) (Vol. 70). Elsevier Science Publishers.