@inproceedings{Seidl09Flat,
  author = {Helmut Seidl and Kumar Neeraj Verma},
  title = {Flat and {O}ne-{V}ariable {C}lauses for {S}ingle {B}lind {C}opying {P}rotocols: {T}he {XOR} {C}ase},
  booktitle = {Rewriting Techniques and Applications},
  editor = {Ralf Treinen},
  month = {June},
  year = 2009,
  pages = {118-132},
  series = {Lecture Notes in Computer Science},
  volume = {5595},
  publisher = {Springer},
  address = {Bras\'ilia, Brazil},
}