@article{Asinetal2010AICOM,
  author    = {Roberto Javier As\'{\i}n Ach{\'a} and
               Robert Nieuwenhuis and
               Albert Oliveras and
               Enric Rodr\'{\i}guez-Carbonell},
  title     = {Practical algorithms for unsatisfiability proof and core
               generation in SAT solvers},
  journal   = {AI Commun.},
  volume    = {23},
  number    = {2-3},
  year      = {2010},
  pages     = {145-157},
  ee        = {http://dx.doi.org/10.3233/AIC-2010-0462},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}