Max Tuengerthal Ralf Küsters Mathieu Turuani Implementing a Unification Algorithm for Protocol Analysis with XOR http://arxiv.org/abs/cs/0610014 2006 CoRR abs/cs/0610014 db/journals/corr/corr0610.html#abs-cs-0610014 informal publication