@book{ks2008,
  author = "Kroening, Daniel and Strichman, Ofer",
  note = "To appear",
  publisher = "Springer",
  series = "EATCS",
  title = "Decision Procedures -- an Algorithmic Point of View",
  year = "2008",
}