@inproceedings{DBLP:conf/birthday/ChevalKR20,
  title = "The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols",
  author = "Vincent Cheval and Steve Kremer and Itsaka Rakotonirina",
  year = "2020",
  booktitle = "Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday",
  editor = "Vivek Nigam and Tajana Ban Kirigin and Carolyn L. Talcott and Joshua D. Guttman and Stepan L. Kuznetsov and Boon Thau Loo and Mitsuhiro Okada",
  pages = "127--145",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CKR-scedrov20.pdf",
  volume = "12300",
  doi = "10.1007/978-3-030-62077-6_10",
}