@InProceedings{Sheridan01,
  author =       "Daniel Sheridan and Toby Walsh",
  title =        "Clause Forms Generated by Bounded Model Checking",
  booktitle =    "Eighth Workshop on Automated Reasoning",
  editor =       "Andrei Voronkov",
  year =         2001
}