@InProceedings{Sheridan02,
  author =       "Daniel Sheridan",
  title =        "Fixpoint Characterisations of {LTL} for Bounded Model Checking",
  booktitle =    "Ninth Workshop on Automated Reasoning",
  year =         2002
}