@InProceedings{Bofilletal2008CAV,
  author    = {M. Bofill and R. Nieuwenhuis and A. Oliveras and E. Rodr\'\i guez-Carbonell and A. Rubio},
  title     = {{The Barcelogic SMT Solver}},
  pages     = {294-298},
  booktitle = {20th International Conference on Computer Aided Verification, CAV'08},
  year      = "2008",
  editor    = "A. Gupta and S. Malik",
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  publisher = "Springer"
}