Liana Bozga Cristian Ene Yassine Lakhnech A symbolic decision procedure for cryptographic protocols with time stamps. 1-35 2005 65 J. Log. Algebr. Program. 1 http://dx.doi.org/10.1016/j.jlap.2004.09.007 db/journals/jlp/jlp65.html#BozgaEL05