@inproceedings{BDS02-CAV02,
  author    = "Clark W. Barrett and David L. Dill and Aaron Stump",
  title     = "Checking Satisfiability of First-Order Formulas by Incremental Translation to {SAT}",
  booktitle = "Proceedings of the $14^{th}$ International Conference on Computer Aided Verification (CAV '02)",
  series    = "Lecture Notes in Computer Science",
  volume    = 2404,
  publisher = "Springer-Verlag",
  editor    = "Ed Brinksma and Kim Guldstrand Larsen",
  pages     = "236--249",
  month     = jul,
  year      = 2002,
  note      = "Copenhagen, Denmark"
}