@InProceedings{Lahirietal2006CAV,
  author    = {S. K. Lahiri and R. Nieuwenhuis and A. Oliveras},
  title     = {{SMT Techniques for Fast Predicate Abstraction}},
  pages     = {413-426},
  booktitle = {18th International Conference on Computer Aided Verification, CAV'06},
  year      = "2006",
  editor    = "T. Ball and R. B. Jones",
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  publisher = "Springer"
}