@misc{indiciae252816065b3a,
  title = {Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories},
  author = {Alessandro Cimatti and Alberto Griggio and Roberto Sebastiani},
  year = {2014},
  doi = {10.1613/jair.3196},
  url = {https://arxiv.org/abs/1401.3878},
  note = {Source identifier: 1401.3878}
}