- key: Dutertre2014
  author:
    - Dutertre, Bruno
  title: "Yices 2.2"
  booktitle: Computer-Aided Verification
  editor:
    - Biere, Armin
    - Bloem, Roderick
  year: 2014
  volume: 8559
  series: Lecture Notes in Computer Science
  pages: 737-744
  month: July
  publisher: Springer
  doi: 10.1007/978-3-319-08867-9_49