@InCollection{ArmandoCompagnaForte02-long,
  author    = {A.~Armando and L.~Compagna},
  title     = "{Automatic SAT-Compilation of Protocol Insecurity
               Problems via Reduction to Planning}",
  booktitle = {Proceedings of 22nd IFIP WG 6.1 International
               Conference on Formal Techniques for Networked and
               Distributed Systems (FORTE)}, 
  editor    = {Peled, D.A. and Vardi, M.Y.},
  publisher = {Springer-Verlag},
  series    = {LNCS 2529},
  pages     = {210--225},
  year      = 2002,
  address   = {Houston, Texas},
  month     = {November},
  note      = {Available at
               \url{www.avispa-project.org}}, 
}