Completion of rewrite systems with membership constraints. Part II: constraint solving

Constraint solving on terms

Constraints in computational logics

Solvability of context equations with two context variable is decidable

Journal of Symbolic Computation

Stratified Context Unification Is in PSPACE

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

Higher-order unification and matching

Handbook of automated reasoning

Decidability of bounded second order unification

Information and Computation

Context Sequence Matching for XML

Electronic Notes in Theoretical Computer Science (ENTCS)

On the complexity of higher-order matching in the linear λ-calculus

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

On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming

Matching with regular constraints

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning