Sufficient completeness, term rewriting systems and “anti-unification”

Equational problems anddisunification

Journal of Symbolic Computation

Matching - A special case of unification?

Journal of Symbolic Computation

Unification in primal algebras, their powers and their varieties

Journal of the ACM (JACM)

On solving equations and disequations

Journal of the ACM (JACM)

Constraint solving on terms

Constraints in computational logics

Reasoning Inductively about Z Specifications via Unification

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B

Reachability Analysis over Term Rewriting Systems

Journal of Automated Reasoning

Computing constructor forms with non terminating rewrite programs

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

Simultaneous checking of completeness and ground confluence for algebraic specifications

ACM Transactions on Computational Logic (TOCL)

Narrowing, abstraction and constraints for proving properties of reduction relations

Rewriting Computation and Proof

Modular access control via strategic rewriting

ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security