@InProceedings{LatvalaBiereHeljankoJunttila:VMCAI2005,
  author = 	 {Timo Latvala and Armin Biere and Keijo Heljanko and
                  Tommi Junttila},
  title = 	 {Simple Is Better:
                  Efficient Bounded Model Checking for Past {LTL}},
  booktitle =    {Verification, Model Checking, and Abstract Interpretation
                  (VMCAI 2005)},
  pages = 	 {380--395},
  year = 	 {2005},
  editor = 	 {Radhia Cousot},
  volume = 	 {3385},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer},
}