@InProceedings{vmcai02,
  author =       {A. Cimatti and M. Pistore and M. Roveri and R.~Sebastiani},
  title =        {{Improving the Encoding of LTL Model Checking into SAT}},
  booktitle =    {Proc. workshop on Verification Model Checking and Abstract InterpretationVMCAI'02},
  year =         {2002},
  volume =       {2294},
  series =       {LNCS},
  address =      {Venice, Italy},
  month =        {January},
  publisher = {Springer}
}