@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", }