@InProceedings{HadEtAl-LPAR-15,
  author =	 {Hadarean, Liana and Barrett, Clark and Reynolds, Andrew and Tinelli, Cesare
and Deters, Morgan},
  title =	 {Fine Grained {SMT} Proofs for the Theory of Fixed-Width Bit-Vectors},
  booktitle =	 {Proceedings of the 20th International Conference on
                  Logic for Programming, Artificial Intelligence, and
                  Reasoning (Suva, Fiji)},
  pages =	 {340--355},
  volume =	 9450,
  year =	 2015,
  Editor =	 {Davis, Martin and Fehnker, Ansgar and McIver, Annabelle and Voronkov, Andrei},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  doi = {10.1007/978-3-662-48899-7_24},
}