@InProceedings{Asinetal2008LPAR,
  author    = {R. As\'\in and
               R. Nieuwenhuis and
               A. Oliveras and
               Enric Rodr\'\i guez Carbonell},
  title     = {{Efficient Generation of Unsatisfiability Proofs and Cores in SAT}},
  pages     = {16--30},
  booktitle = "15th International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'08", 
  year      = {2008},
  editor    = {I. Cervesato and
               H. Veith and
               A. Voronkov},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer}
}