@article{ABiereKHeljankoTJunttilaTLatvalaVSchuppan-LMCS-2006,
  author  = {Armin Biere and Keijo Heljanko and Tommi Junttila and Timo Latvala and Viktor Schuppan},
  title   = {Linear Encodings of Bounded {LTL} Model Checking},
  journal = {Logical Methods in Computer Science},
  volume  = {2},
  issue   = {5:5},
  year    = {2006},
  ee      = {http://dx.doi.org/10.2168/LMCS-2(5:5)2006}
}