@techreport{Seidl05Flat,
  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},
  journal = {CoRR},
  year = 2005,
  series = {Forschungsbericht},
  volume = {abs/cs/0511014},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}