@inproceedings{ckso04,
  title = "Completeness and Complexity of Bounded Model Checking",
  author = "Clarke, Edmund and Kroening, Daniel and Strichman, Ofer and Ouaknine, Joel",
  year = "2004",
  booktitle = "5th International Conference on Verification, Model Checking, and Abstract Interpretation",
  isbn = "3-540-20803-8",
  pages = "85--96",
  series = "Lecture Notes in Computer Science",
  volume = "2937",
}