@article{VSchuppanABiere-STTT-2004,
  author  = {Viktor Schuppan and Armin Biere},
  title   = {{Efficient reduction of finite state model checking to reachability analysis}},
  pages   = {185--204},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  volume  = {5},
  number  = {2--3},
  year    = {2004},
  ee      = {http://dx.doi.org/10.1007/s10009-003-0121-x}
}