@inproceedings{Seidl04Flat,
  author = {Helmut Seidl and Kumar Neeraj Verma},
  title = {Flat and {O}ne-{V}ariable {C}lauses: {C}omplexity of {V}erifying {C}ryptographic {P}rotocols with {S}ingle {B}lind {C}opying},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning},
  editor = {Franz Baader and Andrei Voronkov},
  month = {March},
  year = 2004,
  pages = {79-94},
  series = {Lecture Notes in Computer Science},
  volume = {3452},
  publisher = {Springer},
  address = {Montevideo, Uruguay},
}