Implementation of Term Rewritings with the Evaluation Strategy

Optimizing term rewriting using discrimination nets with specialization

Proceedings of the 1999 ACM symposium on Applied computing

Lazy rewriting on eager machinery

ACM Transactions on Programming Languages and Systems (TOPLAS)

Termination of Rewriting With Strategy Annotations

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation