@InProceedings{Sheridan03,
  author =       "Daniel Sheridan",
  title =        "Symbolic Model Checking for {LTL} using {SNF}",
  booktitle =    "Tenth Workshop on Automated Reasoning",
  year =         2003
}