@book{ks2008,
  title = "Decision Procedures -- an Algorithmic Point of View",
  author = "Kroening, Daniel and Strichman, Ofer",
  year = "2008",
  note = "To appear",
  publisher = "Springer",
  series = "EATCS",
}
@inproceedings{HagueOng2007,
  title = "Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems",
  author = "M. Hague and C.-H. L. Ong",
  year = "2007",
  booktitle = "FoSSaCS",
  note = "<a href="http://web.comlab.ox.ac.uk/people/Matthew.Hague/FoSSaCS07-long.pdf">Long Version (pdf)</a>",
}