@inproceedings{LNAI78980231,
   editor    = {Maria Paola Bonacina},
   booktitle = {Automated Deduction -- CADE-24},
   publisher = {Springer},
   location  = {Heidelberg},
   series    = {Lecture Notes in Computer Science},
   volume    = {7898},
   year      = {2013},
   isbn      = {978-3-642-38573-5},
   author    = {Serdar Erbatur and Santiago Escobar and Deepak Kapur and Zhiqiang Liu and Christopher A. Lynch and Catherine Meadows and Jos\'{e} Meseguer and Paliath Narendran and Sonia Santiago and Ralf Sasse},
   title     = {Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis},
   pages     = {231--248}
}