UNIF 2010 Accepted Papers

SAT Encoding of Unification in EL
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation
Unification and matching in separable theories
A Machine Checked Model of Idempotent MGU Axioms For a List of Equational Constraints
Unification modulo a partial theory of exponentiation
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity
Efficient XOR Unification
Nominal Theory as an Extension of First-Order Theory