@techreport{Tuengerthal-IFI-TR-0609-2006,
  author = {Max Tuengerthal},
  title = {{Implementing a Unification Algorithm for Protocol Analysis with XOR}},
  institution = {Institut f{\"u}r Informatik, CAU Kiel, Germany},
  year = 2006,
  number = 0609,
}