@article{skramerCPLDolevYao, Author = {S. Kramer}, Journal = {Journal of Logic and Algebraic Programming}, Number = {1--2}, Title = {{C}ryptographic {P}rotocol {L}ogic: Satisfaction for (Timed) {Dolev}-{Yao} Cryptography}, Volume = {77}, Year = {2008}, Note = {\url{https://dx.doi.org/10.1016/j.jlap.2008.05.005}}}