@InProceedings{KatEtAl-FMCAD-16,
  author =	 {Guy Katz and Clark Barrett and Cesare Tinelli and Andrew Reynolds and Liana Hadarean},
  title =	 {Lazy Proofs for {DPLL(T)}-Based {SMT} Solvers},
  booktitle =	 {Proceedings of the 16th International Conference on
                  Formal Methods in Computer-Aided Design (Mountain View, CA)},
  pages =	 {93--100},
  year =	 2016,
  editor =	 {R.~Piskac and M.~Talupur},
  publisher =	 {IEEE},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886666},
  doi       = {10.1109/FMCAD.2016.7886666},
}