@article{cks2007-tcs,
  title = "Verification of {Boolean} Programs with Unbounded Thread Creation",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2007",
  journal = "Theoretical Computer Science (TCS)",
  pages = "227--242",
  publisher = "Elsevier",
  volume = "388",
}