@InProceedings{Sheridan01a,
  author =       "Alan Frisch and Daniel Sheridan and Toby Walsh",
  title =        "Comparing {SAT} Encodings for Model Checking",
  editor =       "Toby Walsh",
  booktitle =    "Principles and practice of constraint
                 programming --- 7th international conference,
                 CP 2001",
  volume =       "2239",
  publisher =    "Springer-Verlag",
  pages =        "784",
  month =        nov,
  year =         "2001",
  series =       lncs
}