Constraint solving in non-permutative nominal abstract syntax (Logical Methods in Computer Science, 2011)