@InProceedings{Barrett18,
  title =        "Proofs in Satisfiability Modulo Theories",
  author =       "Clark Barrett and Leonardo de Moura and Pascal
                 Fontaine",
  booktitle =    "All about Proofs, Proofs for All (APPA), Mathematical Logic and Foundations",
 volume       = {55},
 publisher    = {College Publications},
 pages        = {23--44},
  URL =          "Barrett18.pdf",
  year = 2015,
}