@inproceedings{CortierZ-LPAR06,
  author = {V\'eronique Cortier and Eugen Zalinescu},
  title = {Deciding key cycles for security protocols},
  booktitle = {13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06)},
  year = 2006,
  pages = {317 - 331},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {4246},
  publisher = {Springer},
  doi = {10.1007/11916277_22},
}