A Compiler for Rewrite Programs in Associative-Commutative Theories

Single Elementary Associative-Commutative Matching

Journal of Automated Reasoning

Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications

ELAN from a rewriting logic point of view

Theoretical Computer Science - Rewriting logic and its applications

CASL: the common algebraic specification language

Theoretical Computer Science

Non-deterministic Computations in ELAN

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques

In Search of a Phase Transition in the AC-Matching Problem

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming

Rules and Strategies in Java

Electronic Notes in Theoretical Computer Science (ENTCS)

From Chemical Rules to Term Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)

Associative-commutative rewriting on large terms

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Automated generation of kinetic chemical mechanisms using rewriting

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII

Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Fundamenta Informaticae