@inproceedings{Cheval-tacas14,
  title = "{APTE:} An Algorithm for Proving Trace Equivalence",
  author = "Vincent Cheval",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings",
  editor = "Erika {\'{A}}brah{\'{a}}m and Klaus Havelund",
  pages = "587--592",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/Cheval-tacas14.pdf",
  volume = "8413",
  doi = "10.1007/978-3-642-54862-8_50",
}