@inproceedings{Seidl06Cryptographic,
  author = {Helmut Seidl and Kumar Neeraj Verma},
  title = {Cryptographic {P}rotocol {V}erification {U}sing {T}ractable {C}lasses of {H}orn {C}lauses},
  booktitle = {Program Analysis and Compilation, Theory and Practice},
  editor = {Thomas W. Reps and Mooly Sagiv and J\"org Bauer},
  year = 2007,
  pages = {97-119},
  series = {Lecture Notes in Computer Science},
  volume = {4444},
  publisher = {Springer},
}