Left-to-Right Tree Pattern Matching

Improving Space, Time, and Termination in Rewriting-Based Programming

Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems

Optimal Adaptive Pattern Matching

IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence

Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting

CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata

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

Journal of Functional Programming

Efficient pattern matching for non-strongly sequential term rewriting systems

IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence

More efficient left-to-right pattern matching in non-sequential equational programs

CPM'03 Proceedings of the 14th annual conference on Combinatorial pattern matching

Complete pattern matching: recursivity versus multi-threading

VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science