A technical note on AC-unification. The number of minimal unifiers of the equation ax1+&cdots;+axp=&d2; ACby1+&cdots;+by q

An Algorithm for General Set Unification and Its Complexity

Journal of Automated Reasoning

General Algorithms for Permutations in Equational Inference

Journal of Automated Reasoning

ELAN from a rewriting logic point of view

Theoretical Computer Science - Rewriting logic and its applications

Natural semantics as a static program analysis framework

ACM Transactions on Programming Languages and Systems (TOPLAS)

Compiling and verifying security protocols

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning