Prototyping Completion with Constraints Using Computational Systems

The use of a strategy language for solving search problems

Annals of Mathematics and Artificial Intelligence

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

Non-deterministic Computations in ELAN

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

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

Journal of Functional Programming

Rewriting as a unified specification tool for logic and control: the ELAN language

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications