@article{Seidl08Flat,
  author = {Helmut Seidl and Kumar Neeraj Verma},
  title = {Flat and one-variable clauses: {C}omplexity of verifying cryptographic protocols with single blind copying},
  journal = {ACM Trans. Comput. Log.},
  year = 2008,
  volume = {9},
  number = {4},
}