Combining decision algorithms for matching in the union of disjoint equational theories

A Methodological View of Constraint Solving

Constraints

Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science

Matching with Free Function Symbols - A Simple Extension of Matching?

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications

Anti-pattern Matching Modulo

Language and Automata Theory and Applications

Anti-patterns for rule-based languages

Journal of Symbolic Computation

Rule-Based Constraint Programming

Fundamenta Informaticae