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