@inproceedings{cks2006-fmcad,
  title = "Over-Approximating {Boolean} Programs with Unbounded Thread Creation",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2006",
  booktitle = "Proceedings of FMCAD 2006",
  isbn = "0-7695-2707-8",
  pages = "53--59",
  publisher = "IEEE",
}