@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}, }