Linear Second-Order Unification and Context Unification with Tree-Regular Constraints

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

Context Unification and Traversal Equations

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

Stratified Context Unification Is in PSPACE

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

Parallelism and Tree Regular Constraints

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Higher-order unification and matching

Handbook of automated reasoning

Context Sequence Matching for XML

Electronic Notes in Theoretical Computer Science (ENTCS)

Decidability of bounded higher-order unification

Journal of Symbolic Computation

Deciding satisfiability of positive second order joinability formulae

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

Matching with regular constraints

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

Well-nested context unification

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Describing lambda terms in context unification

LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics